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