do not use swing groovy extensions which for some reason are not available after jlinking

pull/62/head
Zlatin Balevsky 2021-06-12 14:30:12 +01:00
parent d64eebc153
commit b3cae1451c
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 1 deletions

View File

@ -476,7 +476,7 @@ class MainFrameModel {
void filterLibrary() {
view.clearSelectedFiles()
shared.clear()
treeRoot.clear()
treeRoot.removeAllChildren()
filterer?.cancel()
if (filter != null) {
filterer = new Filterer()