clear selection before refreshing results when filtering to avoid invalid index exceptions

auto-update
Zlatin Balevsky 2021-10-13 19:55:17 +01:00
parent cedf969ba3
commit 9c57e43a9f
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 1 deletions

View File

@ -267,8 +267,8 @@ class SearchTabModel {
protected void done() {
if (cancelled)
return
view.refreshResults()
view.clearSelections()
view.refreshResults()
}
}
}