From 6967241dddd53b556c18cd69ca15a180ea11ff88 Mon Sep 17 00:00:00 2001 From: Hollyqqqqq <11712639@mail.sustech.edu.cn> Date: Tue, 5 May 2020 21:38:11 +0800 Subject: [PATCH 1/2] Keep group pane size when resizing window (#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 09892d6d971..01706695cd7 100644 --- a/src/main/java/org/jabref/gui/JabRefFrame.java +++ b/src/main/java/org/jabref/gui/JabRefFrame.java @@ -415,6 +415,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<>() { From 2e553831ca47401c8fc814fee3e4d8ecdcb0ab42 Mon Sep 17 00:00:00 2001 From: Hollyqqqqq <11712639@mail.sustech.edu.cn> Date: Sat, 16 May 2020 08:18:45 +0800 Subject: [PATCH 2/2] add changelog for fixing issue 6180 --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 149ea8d8bc7..868eb58f34a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -25,6 +25,7 @@ Note that this project **does not** adhere to [Semantic Versioning](http://semve - We fixed an issue where opening a library from the recent libraries menu was not possible. [#5939](https://github.com/JabRef/jabref/issues/5939) - We fixed an issue with inconsistent capitalization of file extensions when downloading files [#6115](https://github.com/JabRef/jabref/issues/6115) - We fixed the display of language and encoding in the preferences dialog. [#6130](https://github.com/JabRef/jabref/pull/6130) +- We fixed the issue that groups panel does not keep size when resizing window. [#6180](https://github.com/JabRef/jabref/pull/6180) ### Removed