[isabelle-dev] Scrollbar, where are thou?

Makarius makarius at sketis.net
Tue Oct 6 18:20:23 CEST 2015

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.


More information about the isabelle-dev mailing list