17 Commits

Author	SHA1	Message	Date
Nick O'Leary	6087002562	Fix handling of user-provided keymap ... Fixes #2926	2021-04-10 21:34:26 +01:00
Nick O'Leary	0b39ef68d9	Use cursor keys to change selection in workspace	2021-03-10 14:04:47 +00:00
Nick O'Leary	8e65408b1c	Prevent duplicate keyboard shortcut from being assigned	2021-03-01 20:50:34 +00:00
Nick O'Leary	916d377aaa	Fix handling of + in shortcuts	2021-02-28 10:29:54 +00:00
Nick O'Leary	39532a9d65	Fix keymap entries with multiple keys for same action	2021-02-27 21:58:22 +00:00
Nick O'Leary	61690ecf4a	Allow default keymap to be overridden in settings file	2021-01-28 16:42:16 +00:00
Nick O'Leary	ebe604e1af	Ensure user keyboard shortcuts override defaults ... Fixes #2753	2020-11-09 21:13:20 +00:00
Nick O'Leary	97b7479081	Disable keyboard handler when dialogs are open	2020-07-09 20:41:55 +01:00
Nick O'Leary	634a51635c	Battling Chrome Autocomplete, part 31: Wrap search input with form	2020-02-10 18:56:03 +00:00
Nick O'Leary	f0aef2b853	Add show-library dialog actions	2019-06-07 11:35:04 +01:00
Nick O'Leary	98a001a8ca	Deprecate editor-button css class	2019-05-17 10:42:43 +01:00
Nick O'Leary	ad77565508	Namespace CSS for Debug, Keyboard, Clipboard, Settings	2019-05-02 22:33:29 +01:00
Nick O'Leary	8dc1ad8168	Namespace workspace/view css	2019-05-01 22:41:20 +01:00
Nick O'Leary	b5da6f9c74	Upgrade to jq 3.3.1 / jq-ui 1.12.1 ... Uses jquery-migrate-3.0.1.min.js to keep things working.	2019-04-29 11:50:15 +01:00
Nick O'Leary	7436e01188	Allow config nodes to be selected in sidebar and deleted	2018-11-03 21:32:38 +00:00
Nick O'Leary	cdcf39fe82	Update tooltip style and add to some editor buttons	2018-10-03 14:02:07 +01:00
Nick O'Leary	e57d8ba0ef	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00