[isabelle-dev] Scrollbar, where are thou?

Dmitriy Traytel traytel at inf.ethz.ch
Tue Oct 6 11:58:35 CEST 2015


I’m not sure if this is rather something for the jEdit mailing list, but I try here first. The attached theory is an empty 500+ lines long file where everything is normal. However, if I add one new line the scrollbar disappears.

The above applies to 2007ea8615a2 but I believe I saw this behaviour already weeks (if not months) ago, but didn’t pay attention. In Isabelle2015 everything is fine.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Scratch.thy
Type: application/octet-stream
Size: 567 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20151006/0f18929f/attachment.obj>

More information about the isabelle-dev mailing list