Change behavior of library filter as well. GitHub issue #88

auto-update
Zlatin Balevsky 2021-10-16 15:08:58 +01:00
parent b501bc0f5f
commit 387a7d0345
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 6 additions and 2 deletions

View File

@ -495,13 +495,15 @@ class MainFrameModel {
}
void filterLibrary() {
filterer?.cancel()
view.clearSelectedFiles()
shared.clear()
treeRoot.removeAllChildren()
filterer?.cancel()
view.refreshSharedFiles()
if (filter != null) {
filterer = new Filterer()
filterer.execute()
setFilteringEnabled(false)
} else {
synchronized (allSharedFiles) {
shared.addAll(allSharedFiles)
@ -537,18 +539,20 @@ class MainFrameModel {
@Override
protected void process(List<SharedFile> chunks) {
if (cancelled)
if (cancelled || chunks.isEmpty())
return
shared.addAll(chunks)
chunks.each {
insertIntoTree(it, treeRoot, null)
}
view.refreshSharedFiles()
}
@Override
protected void done() {
if (cancelled)
return
setFilteringEnabled(true)
view.refreshSharedFiles()
if (filter != null)
view.fullTreeExpansion()