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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
