7 Commits

Author	SHA1	Message	Date
Jesse Naranjo	dc24c05229	Keyboard shortcuts dialog update (#923) ... * Added Ctrl+Z to the Keyboard Shortcuts dialog. * Added Arrow Keys and Shift + Arrow Keys shortcuts to the Keyboard Shortcuts dialog. * Added the [Backspace] key to the Keyboard Shortcuts dialog.	2016-07-03 23:10:51 +01:00
Nick O'Leary	7cb41d2ca9	Remove duplicate "Delete" entry in keyboard shortcut window ... Fixes #911	2016-06-20 09:56:01 +01:00
Nick O'Leary	a9bfa4e79b	Allow keyboard shortcuts to be scoped to a dom element ... This gets rid of the need to enable/disable the keyboard handling at various times. Allows Ctrl-C to work as expected when selecting text in debug/info sidebar. Downside is shortcuts that apply to the workspace (select-all, copy etc) now require the workspace to be focussed.	2016-05-08 22:50:55 +01:00
Allen Boone	4a318553f7	Updated editor ui NLS strings	2015-07-02 10:49:38 +01:00
Nick O'Leary	5af6ac3e80	Rename menu ids to be logically consistent	2015-04-13 16:48:38 +01:00
Nick O'Leary	a2aa78afd4	Add main menu customisation	2015-04-13 13:55:17 +01:00
Nick O'Leary	203d3f672c	Add build step to Grunt file	2015-04-09 10:22:05 +01:00