Re: [isabelle-dev] jEdit: Automatic popup menus on hovers
On Sat, 9 Mar 2013, Lars Noschinski wrote: I'm currently using revision 4b5a5e26161d of Isabelle and after working with it for one day without stopping jEdit, I noticed a annoying behaviour of the popup menus which you get automatically by hovering over a command with a message: They pop up immediately, even if I don't stop over them. Afterwards, they don't vanish. So if I just want to move the cursor or click on something, these popups get in my way. If I want to do something around a failed proof step, I have to move my mouse very carefully (I got so bad, that I stopped using the mouse and went back to the keyboard). This behaviour only popped up after working with one session for a longer time and jEdit was having frequent hiccups then, so I guess this was due to memory pressure (max memory usage was near the limit of 1600m set for the JVM). I've spent some days pondering various possibilities and reading sources of Java/Swing libraries. Not everything is clear, but there are various possibilities of memory leaks and timing problems when popping up a new window for each tooltip (in the sense of regular getToolTipText of Swing components). In Isabelle/14e6d761ba1c it is now done in a completely different way. So lets see if this works better. (According to past experience odd corner cases will show up after some weeks or months using it.) Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] jEdit: Automatic popup menus on hovers
On Sat, 9 Mar 2013, Lars Noschinski wrote: This behaviour only popped up after working with one session for a longer time and jEdit was having frequent hiccups then, so I guess this was due to memory pressure (max memory usage was near the limit of 1600m set for the JVM). On 03/18/2013 01:29 PM, Makarius wrote: I've spent some days pondering various possibilities and reading sources of Java/Swing libraries. Not everything is clear, but there are various possibilities of memory leaks and timing problems when popping up a new window for each tooltip (in the sense of regular getToolTipText of Swing components). Concerning actual memory leaks, I made the experience that these are rather easy to track down on the JVM: Take a heap dump and analyze it using a suitable tool such as Eclipse Memory Analyzer (http://www.eclipse.org/mat/). The tool has an automated analysis which can usually point out the main sources of memory consumption immediately. Alex ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
[isabelle-dev] jEdit: Automatic popup menus on hovers
Hi, I'm currently using revision 4b5a5e26161d of Isabelle and after working with it for one day without stopping jEdit, I noticed a annoying behaviour of the popup menus which you get automatically by hovering over a command with a message: They pop up immediately, even if I don't stop over them. Afterwards, they don't vanish. So if I just want to move the cursor or click on something, these popups get in my way. If I want to do something around a failed proof step, I have to move my mouse very carefully (I got so bad, that I stopped using the mouse and went back to the keyboard). This behaviour only popped up after working with one session for a longer time and jEdit was having frequent hiccups then, so I guess this was due to memory pressure (max memory usage was near the limit of 1600m set for the JVM). -- Lars ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
