On Tue, 6 Oct 2015, Dmitriy Traytel wrote:
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.
I cannot reproduce this.
What is the OS platform, Swing Look-and-Feel, font size, maybe even window
size? It also helps to see a screenshot.
There might be also a problem with persistent properties in
$ISABELLE_HOME_USER/jedit -- the directory can be moved temporarily to get
a fresh start.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev