I am using JEdit on two Ubuntu systems (12.4, 10.4) and having an issue with vertically-split window.
When I resize the whole JEdit window, two side-by-side split panes resize proportionally on one system (10.4) but on the other system the left pane stays a fixed size and all changes to overall window width get applied to only the right pane.
Both are JEdit v 4.4.2, both have only plugins: jdiff and buffertabs.
Is there a setting to turn weighting or proportional resize on?
Thanks!
UPDATE: This appears to be related to the JDiff plugin. The proportional resize stops working after you turn jdiff 'dual diff' on and then off. JDiff causes the panels to be set to equal sizes; when you turn off dual diff, the original proportions are restored but proportional resize is broken.
This indeed seems to be a bug in the JDiff plugin that changes some property of the SplitPane and doesn't restore it if there were splits before already. Maybe it shouldn't change that property after all, but use the same setting for proportional resizes. You should report this to the Plugin Bugs Tracker: https://sourceforge.net/tracker/?func=browse&group_id=588&atid=565475 As a work-around you can just unsplit and resplit the window, then the SplitPane is setup correctly again.