Clear selections on any filtering operation, GitHub issue #80

auto-update
Zlatin Balevsky 2021-10-13 11:12:43 +01:00
parent e69d9d097c
commit 2fdd885151
No known key found for this signature in database
GPG Key ID: A72832072D525E41
3 changed files with 13 additions and 2 deletions

View File

@ -231,5 +231,6 @@ class SearchTabController {
void clearFilter() { void clearFilter() {
model.filter = null model.filter = null
model.filterResults2() model.filterResults2()
view.clearSelections()
} }
} }

View File

@ -268,6 +268,7 @@ class SearchTabModel {
if (cancelled) if (cancelled)
return return
view.refreshResults() view.refreshResults()
view.clearSelections()
} }
} }
} }

View File

@ -53,9 +53,9 @@ class SearchTabView {
def pane def pane
def parent def parent
def searchTerms def searchTerms
def sendersTable, sendersTable2 JTable sendersTable, sendersTable2
def lastSendersSortEvent def lastSendersSortEvent
def resultsTable, resultsTable2 JTable resultsTable, resultsTable2
private JPanel resultsPanel, senders2Panel private JPanel resultsPanel, senders2Panel
private ResultTree resultTree private ResultTree resultTree
@ -667,6 +667,15 @@ class SearchTabView {
} }
} }
void clearSelections() {
resultsTable2.clearSelection()
resultsTable.clearSelection()
sendersTable.clearSelection()
sendersTable2.clearSelection()
showSelectSingleResult.call()
}
List<ResultAndTargets> decorateResults(List<UIResultEvent> results) { List<ResultAndTargets> decorateResults(List<UIResultEvent> results) {
List<ResultAndTargets> rv = new ArrayList<>() List<ResultAndTargets> rv = new ArrayList<>()
if (model.groupedByFile || !model.treeVisible) { if (model.groupedByFile || !model.treeVisible) {