From 45200d39ad24b766a4a6fb9905d011bb2188b377 Mon Sep 17 00:00:00 2001 From: Stefan Kolb Date: Fri, 13 Mar 2020 22:02:34 +0100 Subject: [PATCH] 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 @@ -