[isabelle-dev] Non-responding Isabelle/jEdit and Monitor panel
makarius at sketis.net
Mon Dec 7 15:51:00 CET 2015
On Wed, 11 Nov 2015, Makarius wrote:
> On Wed, 11 Nov 2015, Fabian Immler wrote:
>> 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.
> There is this general principle, that a jEdit dockable remains active after
> being opened once. Monitor also has an "ML statistics" checkbox, which is a
> clone of the one in Plugin Options / Isabelle / General. The default of that
> could be changed to "false", but it is unclear if this helps: after enabling
> it for actual use of Monitor, it remains enabled persistently.
I have reworked that to make the monitor data queue up with a given limit,
similar to the Syslog panel. See Isabelle/4bfcc09a33e8.
It means the monitor may stay open indefinitely. Remaining waste of
resources is mainly due to GUI repainting, which is not as light as it
could be, but that is due to the underlying JFreeChart library.
More information about the isabelle-dev