From d7510ec8bde918de718fbc29c7bd525a62e08c20 Mon Sep 17 00:00:00 2001 From: Simon Harrer Date: Wed, 13 Apr 2016 11:08:16 +0200 Subject: [PATCH] Fix #417 (again) --- src/main/java/net/sf/jabref/groups/GroupSelector.java | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/main/java/net/sf/jabref/groups/GroupSelector.java b/src/main/java/net/sf/jabref/groups/GroupSelector.java index 9757406676f..64ff9196188 100644 --- a/src/main/java/net/sf/jabref/groups/GroupSelector.java +++ b/src/main/java/net/sf/jabref/groups/GroupSelector.java @@ -733,8 +733,6 @@ public void valueChanged(TreeSelectionEvent e) { } if (!editModeIndicator) { - // annotationEvent(); - // } else { updateSelections(); } @@ -786,10 +784,10 @@ public void update() { // Show the result in the chosen way: if (hideNonHits.isSelected()) { panel.mainTable.getTableModel().updateGroupingState(MainTableDataModel.DisplayOption.FILTER); - } else if (grayOut.isSelected()) { panel.mainTable.getTableModel().updateGroupingState(MainTableDataModel.DisplayOption.FLOAT); } + panel.mainTable.getTableModel().updateSortOrder(); if (showOverlappingGroupsP) { showOverlappingGroups(matches);