[isabelle-dev] Annotations in Theories panel not visible

Makarius makarius at sketis.net
Wed Apr 2 13:19:52 CEST 2014

On Tue, 1 Apr 2014, Lars Noschinski wrote:

>> I made a short video:
>> <http://www21.in.tum.de/~noschinl/jedit-annotations.webm>.
>> I tested the Metal and Nimbus L&F; the font is IsabelleText. This is on
>> a system running Debian stable with Gnome 3.4.2.
>> I couldn't reproduce the behaviour on another machine with Debian
>> testing and Gnome 3.8.4.
> Looking closer yet again, the annotations don't vanish, but the bars get
> too wide. If you look at the video above, the Theories panel is redrawn
> two times before the actual process of proving starts. Each time, the
> width of the bars increases. After the third iteration, it is wider than
> the panel. But there is no optical indication for this (e.g., a
> scrollbar), so it looks like part of the annotations vanish when
> processing procedes into the hidden part of the panel.

The video is very helpful, it shows the dynamics of what is really going 
on.  My initial reaction (without much thinking) was to resize the 
Theories dockable, since I am used to Swing components not being very 
precise concerning scrollbars etc. (this also depends on L&F).

I don't know an easy way to combine scrollbars with flexible 
(two-dimensional) layouts, as seen in this list view.

A more basic approach is now in Isabelle/8a58a8c5a1c0, just painting more 


More information about the isabelle-dev mailing list