[isabelle-dev] Non-responding Isabelle/jEdit and Monitor panel

[Fabian Immler]

Hi,

I observed (in at least a99125aa964f) that when Isabelle/jEdit has been running for some time (about 2 to 4 hours perhaps), the GUI starts to "hang": every 3-4 seconds, the GUI does not respond to inputs for about half a second.
I realized that this is apparently related to the Monitor panel: clicking "Reset" there resolves the problem.

Best regards,
Fabian