Fix #1320 (#1326)

JabRef · Apr 29, 2016 · 1aa2145 · 1aa2145
1 parent 2575753
commit 1aa2145
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/main/java/net/sf/jabref/gui/groups/GroupSelector.java b/src/main/java/net/sf/jabref/gui/groups/GroupSelector.java
@@ -228,7 +228,6 @@ public void stateChanged(ChangeEvent e) {
                         showNumberOfElements.isSelected());
                 if (groupsTree != null) {
                     groupsTree.invalidate();
-                    groupsTree.validate();
                     groupsTree.repaint();
                 }
             }