damencho 215d8b1355 Updates show/hide of shortcuts dialog. ... Fixes not able to close it with esc button.		2016-11-01 16:48:29 -05:00
..
keyboardshortcut.js	Updates show/hide of shortcuts dialog.	2016-11-01 16:48:29 -05:00