4 commits

Author	SHA1	Message	Date
Robin van der Linde	54e0fbc256	Include textarea in hotkey checks, remove logging	2022-12-30 15:51:18 +01:00
Pieter Vander Vennet	65bb91b97a	Hotkeys: translations, fix location lock on mobile	2022-12-28 00:37:48 +01:00
Pieter Vander Vennet	7b50e13ba9	Add check: don't interpret keys if an input element is selected	2022-12-24 16:08:08 +01:00
Pieter Vander Vennet	43613e4ece	Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation	2022-12-24 03:44:21 +01:00