[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


(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