[isabelle-dev] Scrollbar, where are thou?

[Dmitriy Traytel]

Hi Makarius,

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.

Dmitriy


> On 06 Oct 2015, at 18:20, Makarius <makarius at sketis.net> wrote:
> 
> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151006/501aa3a5/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 534_lines.png
Type: image/png
Size: 398640 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151006/501aa3a5/attachment-0004.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 535_lines.png
Type: image/png
Size: 328755 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151006/501aa3a5/attachment-0005.png>