PreviousNextTracker indexSee it online !

(194/211) 4032 - Blank UI Space to right of status bar

I am running jEdit 5.4 on MacOS Sierra 10.12.4.

It has a "grab handle" space in the lower right hand corner. I have tried "Metal" and "OSX" LnF and it doesn't "go away".

I have attached a screenshot.

Thanks. Love jEdit!

Submitted sigzero - 2017-03-29 01:58:14.524000 Assigned
Priority 5 Labels UI MacOS OSX
Status open Group minor bug
Resolution None

Comments

2017-11-19 06:39:29.463000
tsourick

While learning StatusBar code I've found this:

~~~
setBorder(new CompoundBorder(new EmptyBorder(4,0,0,
(OperatingSystem.isMacOS() ? 18 : 0)),
UIManager.getBorder("TextField.border")));
~~~

StatusBar.java, Line 66 see class constructor. If the screenshot has 1:1 ratio, the gap is exactly 18px.

I know nothing about MacOS, but that exclusion seems to be reserved for some UI element, which is probably obsolete on newer versions, or depends on visual style, if there are any on MacOS. I hope this will save some time for those who can manage this bug.