[isabelle-dev] jEdit: Scrollbalken in Popups

Lars Noschinski noschinl at in.tum.de
Fri Nov 16 13:37:28 CET 2012


Hi everyone,

as can be seen on

     <http://www21.in.tum.de/~noschinl/jedit-screenshot.png>,

(from Isabelle ecffea78d381 on Linux), scroll bars partially obscur the 
content of a popup.

BTW, for theorems it would be pretty nifty, if the popup would show the 
theorem, not only its name.

   -- Lars


More information about the isabelle-dev mailing list