disable filtering before launching the swing worker in case it finishes too quickly. GitHub issue #88

auto-update
Zlatin Balevsky 2021-10-16 17:42:42 +01:00
parent 387a7d0345
commit 34439aca26
No known key found for this signature in database
GPG Key ID: A72832072D525E41
2 changed files with 2 additions and 2 deletions

View File

@ -71,9 +71,9 @@ class BrowseModel {
view.clearForFilter()
view.refreshResults()
if (filter != null) {
setFilterEnabled(false)
filterer = new Filterer()
filterer.execute()
setFilterEnabled(false)
} else {
synchronized (allResults) {
results.addAll(allResults)

View File

@ -501,9 +501,9 @@ class MainFrameModel {
treeRoot.removeAllChildren()
view.refreshSharedFiles()
if (filter != null) {
setFilteringEnabled(false)
filterer = new Filterer()
filterer.execute()
setFilteringEnabled(false)
} else {
synchronized (allSharedFiles) {
shared.addAll(allSharedFiles)