Created attachment 136023 [details]
Sequence of thread dumps
20130617-56bd2b207b91. Had been editing various Java sources, etc. Now tried to select a bit of text from a hyperlink in changelog.html in Jenkins sources. The IDE suddenly got very slow. I gave up, closed this window, and tried to click in another source window; now the IDE froze completely, initially with ~300% CPU, then 100% CPU. Got some thread dumps before I killed it.
it should be dup of issue 231013 (though in that one's threaddump there's a thread doing closeDocument() as well but that should not matter). I'm working on a fix.
*** This bug has been marked as a duplicate of bug 231013 ***