We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5d621bb commit a136181Copy full SHA for a136181
jabgui/src/main/java/org/jabref/gui/frame/JabRefFrame.java
@@ -299,14 +299,12 @@ public void updateHorizontalDividerPosition() {
299
if (mainStage.isShowing() && !sidePane.getChildren().isEmpty()) {
300
double savedProportion = preferences.getGuiPreferences().getHorizontalDividerPosition();
301
302
- // Fix: fallback to 0.2 if saved value is invalid
303
if (savedProportion <= 0.0 || savedProportion >= 1.0 || Double.isNaN(savedProportion)) {
304
savedProportion = 0.2;
305
}
306
307
horizontalSplit.setDividerPositions(savedProportion);
308
309
- // Subscribe to save user-adjusted sidebar position
310
if (horizontalDividerSubscription != null) {
311
horizontalDividerSubscription.unsubscribe();
312
0 commit comments