Hi, 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. Dmitriy
Scratch.thy
Description: Binary data
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
