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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
