mirror of
https://github.com/encounter/objdiff.git
synced 2025-10-14 13:59:12 +00:00
5de087c903
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.