<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">Hi Makarius,</div><div class=""><br class=""></div><div class="">here are two screenshots from Mac OS X 10.11. But I experience the same under Ubuntu. The look-and-feel is as you see Nimbus (after you mentioned this, I tried other look-and-feels and there the scrollbar stays visible—this works for me). Font size is 15. Window size—I do not know how to measure this.</div><div class=""><br class=""></div><div class="">Dmitriy</div><div class=""><br class=""></div><img height="458" width="720" apple-width="yes" apple-height="yes" apple-inline="yes" id="74928706-5772-40B0-885E-F0AA3B00E912" src="cid:5BD51BBA-7A20-4767-B229-A958297C1EE7@v.cablecom.net" class=""><img height="450" width="720" apple-width="yes" apple-height="yes" apple-inline="yes" id="0849168D-E93B-4881-A1B0-DADFC900DC1E" src="cid:02D25025-4E4C-4827-9233-EDC9493FBC77@v.cablecom.net" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 06 Oct 2015, at 18:20, Makarius <<a href="mailto:makarius@sketis.net" class="">makarius@sketis.net</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On Tue, 6 Oct 2015, Dmitriy Traytel wrote:<br class=""><br class=""><blockquote type="cite" class="">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.<br class=""><br class="">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.<br class=""></blockquote><br class="">I cannot reproduce this.<br class=""><br class="">What is the OS platform, Swing Look-and-Feel, font size, maybe even window size? It also helps to see a screenshot.<br class=""><br class="">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.<br class=""><br class=""><br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Makarius<br class="">_______________________________________________<br class="">isabelle-dev mailing list<br class=""><a href="mailto:isabelle-dev@in.tum.de" class="">isabelle-dev@in.tum.de</a><br class="">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br class=""></div></div></blockquote></div><br class=""></body></html>