[isabelle-dev] jedit Replace & Find

[Makarius]

On Tue, 2 Oct 2012, Tobias Nipkow wrote:

> This is what you should not do: search and replace a string selectively 
> that occurs many times in a theory. I did this twice (the second time to 
> see if it was repeatable), using Replace & Find, and after about 50 
> replacements, jedit went all funny and screwed up the window manager on 
> my mac. Once I managed to log out (and back in), the window manager was 
> fine again.

Did you ever see this incident with Mac OS X again?


 	Makarius