From fe76a945f437157ec7d0b08258655f7638f1c201 Mon Sep 17 00:00:00 2001 From: Stefan Kolb Date: Fri, 13 Mar 2020 20:54:54 +0100 Subject: [PATCH] ux: move group filter bar to top Switch search field and new group button Cleanups Co-authored-by: Oliver Kopp --- .../java/org/jabref/gui/groups/GroupTree.css | 8 +++-- .../java/org/jabref/gui/groups/GroupTree.fxml | 33 ++++++++----------- 2 files changed, 19 insertions(+), 22 deletions(-) diff --git a/src/main/java/org/jabref/gui/groups/GroupTree.css b/src/main/java/org/jabref/gui/groups/GroupTree.css index fc2d6f3a51a..929d77c55e4 100644 --- a/src/main/java/org/jabref/gui/groups/GroupTree.css +++ b/src/main/java/org/jabref/gui/groups/GroupTree.css @@ -102,13 +102,17 @@ -fx-translate-x: -0.4em; } -#barBottom { +#newGroupButton { + -fx-padding: 0.1em 1.5em 0.1em 1.5em; +} + +#groupFilterBar { -fx-background-color: -jr-sidepane-header-background; -fx-border-color: -jr-separator; -fx-border-width: 1 0 0 0; -fx-padding: 0em 1em 0em 1em; } -#barBottom .glyph-icon { +#groupFilterBar .glyph-icon { -fx-font-size: 2em; } diff --git a/src/main/java/org/jabref/gui/groups/GroupTree.fxml b/src/main/java/org/jabref/gui/groups/GroupTree.fxml index 4d5302c133f..662090bf0b7 100644 --- a/src/main/java/org/jabref/gui/groups/GroupTree.fxml +++ b/src/main/java/org/jabref/gui/groups/GroupTree.fxml @@ -7,11 +7,23 @@ - + + + + + +
@@ -26,23 +38,4 @@
- - - - - - - - - - -