From fe76a945f437157ec7d0b08258655f7638f1c201 Mon Sep 17 00:00:00 2001 From: Stefan Kolb Date: Fri, 13 Mar 2020 20:54:54 +0100 Subject: [PATCH 1/2] 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 @@
- - - - - - - - - - -
From 45200d39ad24b766a4a6fb9905d011bb2188b377 Mon Sep 17 00:00:00 2001 From: Stefan Kolb Date: Fri, 13 Mar 2020 22:02:34 +0100 Subject: [PATCH 2/2] Increase size of expand groups icon --- src/main/java/org/jabref/gui/groups/GroupTree.css | 4 ++-- src/main/java/org/jabref/gui/groups/GroupTree.fxml | 7 ++++--- src/main/java/org/jabref/gui/groups/GroupTreeView.java | 4 ++-- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/src/main/java/org/jabref/gui/groups/GroupTree.css b/src/main/java/org/jabref/gui/groups/GroupTree.css index 929d77c55e4..cfd75e2de0a 100644 --- a/src/main/java/org/jabref/gui/groups/GroupTree.css +++ b/src/main/java/org/jabref/gui/groups/GroupTree.css @@ -29,7 +29,7 @@ -fx-fill: -jr-group-hits-fg; } -.disclosureNodeColumn { +.expansionNodeColumn { -fx-alignment: top-right; } @@ -73,7 +73,7 @@ -fx-padding: 0.40em 0.2em 0.40em 0em; } -.tree-table-row-cell:root > .disclosureNodeColumn { +.tree-table-row-cell:root > .expansionNodeColumn { -fx-padding: 0.45em 0.2em 0.45em 0.2em; } diff --git a/src/main/java/org/jabref/gui/groups/GroupTree.fxml b/src/main/java/org/jabref/gui/groups/GroupTree.fxml index 662090bf0b7..8990ffada01 100644 --- a/src/main/java/org/jabref/gui/groups/GroupTree.fxml +++ b/src/main/java/org/jabref/gui/groups/GroupTree.fxml @@ -14,7 +14,8 @@ -