do not filter on every keystroke

pull/62/head
Zlatin Balevsky 2021-06-11 18:54:23 +01:00
parent 9c7cf3d969
commit 88fe173fbb
No known key found for this signature in database
GPG Key ID: A72832072D525E41
1 changed files with 1 additions and 17 deletions

View File

@ -380,23 +380,7 @@ class MainFrameView {
panel {
label(trans("FILTER"))
def textField = new JTextField(columns: 20)
DocumentListener dl = new DocumentListener() {
@Override
void insertUpdate(DocumentEvent e) {
controller.filterLibrary()
}
@Override
void removeUpdate(DocumentEvent e) {
controller.filterLibrary()
}
@Override
void changedUpdate(DocumentEvent e) {
controller.filterLibrary()
}
}
textField.getDocument().addDocumentListener(dl)
textField.addActionListener({controller.filterLibrary()})
widget(id: "library-filter-textfield", textField)
}
panel {