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
..
comms.js	Project ui code using incorrect error property	2019-01-09 17:03:17 +00:00
credentials.js	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00
index.js	Allow editor language to be chosen in editor settings	2019-04-25 15:23:08 +01:00
library.js	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00
locales.js	fix i18n handling for ja-JP locale on Safari/MacOS	2018-10-05 21:16:57 +09:00
projects.js	Avoid http redirects as Safari doesn't reuse Auth header	2018-10-19 14:03:22 +01:00
settings.js	Allow editor language to be chosen in editor settings	2019-04-25 15:23:08 +01:00
sshkeys.js	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00
theme.js	pull out editor-client and editor-api	2018-08-17 22:10:54 +01:00
ui.js	Bump dependencies	2018-12-07 14:13:59 +00:00