[isabelle-dev] jEdit: Scrollbalken in Popups

[Lars Noschinski]

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