Fix filter box not reverting button state on backspace.

master
voussoir 2021-03-10 16:30:24 -08:00
parent 4a61cb08e2
commit 8734dc0a96
No known key found for this signature in database
GPG Key ID: 5F7554F8C26DACCB
1 changed files with 2 additions and 2 deletions

View File

@ -60,9 +60,9 @@ class PGUILauncher(tkinter.ttk.Frame):
def filter(self, *args): def filter(self, *args):
text = self.filter_entry.get().lower() text = self.filter_entry.get().lower()
for button in self.buttons: for button in self.buttons:
if text == '': if text == '' or text in button['text'].lower():
button['state'] = 'normal' button['state'] = 'normal'
elif text not in button['text'].lower(): else:
button['state'] = 'disabled' button['state'] = 'disabled'
def launch_filtered(self, *args): def launch_filtered(self, *args):