mirror of
https://github.com/encounter/objdiff.git
synced 2025-06-07 23:23:34 +00:00
77c104c67b
e.g. The symbol list was stealing the W/S key presses when typing into the symbol filter text edit. If the user actually wants to use these shortcuts while a widget is focused, they can simply press the escape key to unfocus all widgets and then press the shortcut.