From 93ddfb66e5ada1aa11a8adbdc14c955c4e5560ba Mon Sep 17 00:00:00 2001 From: Hollyqqqqq <55199983+Hollyqqqqq@users.noreply.github.com> Date: Thu, 7 May 2020 23:36:47 +0800 Subject: [PATCH] Update JabRefFrame.java fix #6180 --- src/main/java/org/jabref/gui/JabRefFrame.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/org/jabref/gui/JabRefFrame.java b/src/main/java/org/jabref/gui/JabRefFrame.java index 3dcb7450849..42b3b60b5e9 100644 --- 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<>() {