Sometimes, by mistake, I paste an entire file contents into the search bar (since
I failed to copy a short expression for some reason, and the clipboard still has a
lot of content on it) - and this causes jEdit to hang.