Update JabRefFrame.java

fix JabRef#6180
leitianjian · May 7, 2020 · 93ddfb6 · 93ddfb6
1 parent fc92942
commit 93ddfb6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main/java/org/jabref/gui/JabRefFrame.java b/src/main/java/org/jabref/gui/JabRefFrame.java
@@ -435,6 +435,7 @@ private void initLayout() {
         setTop(head);
 
         splitPane.getItems().addAll(sidePane, tabbedPane);
+        splitPane.setResizableWithParent(sidePane, false);
 
         // We need to wait with setting the divider since it gets reset a few times during the initial set-up
         mainStage.showingProperty().addListener(new ChangeListener<>() {