Bruno Alves de Faria bbb1cf0789 Creating user interface to manage the hotkeys		2017-06-14 09:19:49 +02:00
..
HotkeysContext.js	Integrating hotkeys with commands	2017-06-14 09:19:49 +02:00
HotkeysManager.js	Creating user interface to manage the hotkeys	2017-06-14 09:19:49 +02:00