10 Commits

Author	SHA1	Message	Date
Kazuhito Yokoi	895156675f	Fix grid setting	2019-10-04 18:15:32 +09:00
Hiroyasu Nishiyama	10da894124	fix function name & string compare function	2019-05-28 08:55:00 +09:00
Hiroyasu Nishiyama	7f35e2280e	update editor language selection UI for i18n	2019-05-27 11:28:36 +09:00
Nick O'Leary	0d75ff336d	Found some more ids and classes to namespace	2019-05-16 22:32:28 +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	9dac679b72	Namespace all sidebar css	2019-04-30 22:56:39 +01:00
Nick O'Leary	493687b5bb	Allow editor language to be chosen in editor settings ... This gets stored in localStorage of the browser which is not ideal. This is because we load language catalogs before we load user preferences - so if this was stored in the runtime, the editor wouldn't know the user's preference until it was too late to apply it. This is likely good enough for now - may need to do something more convoluted later on.	2019-04-25 15:23:08 +01:00
Nick O'Leary	c66c5ea53c	Add configurable option for showing node label	2018-10-22 15:38:43 +01:00
Nick O'Leary	e57d8ba0ef	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00