9 Commits

Author	SHA1	Message	Date
Nick O'Leary	1840d15397	Restructure how editor/git settings are saved in userSettings	2017-12-05 23:50:32 +00:00
Nick O'Leary	1b632894d3	Save editor settings in /settings/user	2017-12-05 10:20:13 +00:00
Kazuhito Yokoi	d7d13c12fe	Modify messages to refer to language files (#1361)	2017-08-07 10:00:28 +01:00
Nick O'Leary	74ea85d19c	Ensure existing grid settings are migrated to new keys	2017-06-28 22:16:11 +01:00
Nick O'Leary	f39b4e7d22	Node status should be on by default	2017-05-12 22:47:59 +01:00
Nick O'Leary	93ef84f495	Move palette editor to settings panel	2017-05-03 11:38:16 +01:00
Nick O'Leary	ccfcbe8526	Move palette editor to userSettings dialog	2017-05-03 11:38:16 +01:00
Nick O'Leary	5938143002	Move view and keyboard into user settings dialog	2017-05-03 11:38:16 +01:00
Nick O'Leary	8135da71bd	Add basic user settings panel	2017-05-03 11:38:16 +01:00