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!
While learning StatusBar code I've found this:
setBorder(new CompoundBorder(new EmptyBorder(4,0,0,
(OperatingSystem.isMacOS() ? 18 : 0)),
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.
Log in to post a comment.