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

Fabian Immler immler at in.tum.de
Wed Nov 11 11:05:59 CET 2015


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


More information about the isabelle-dev mailing list