56 Commits

Author	SHA1	Message	Date
Dave Page	e2832351ed	Miscellaneous fixes and cleanups.	2015-02-13 15:19:08 +00:00
Dave Page	b09c1b6c68	Fix the gutter height of the editor when the parent is resized.	2015-02-13 13:13:36 +00:00
Dave Page	dbd7974e2a	Render settings related JS from the settings blueprint.	2015-02-12 10:57:09 +00:00
Dave Page	bb6a3f9b5b	Use minified output when not in debug mode, and non-minified when debugging. ... Update jQuery while we're at it.	2015-02-12 10:28:15 +00:00
Dave Page	adeb2f9e84	Allow multiple settings to be stored at once to avoid multiple requests.	2015-02-11 12:50:45 +00:00
Dave Page	e995104000	Initial cut at saving/retrieving the main browser layout. ... Still needs some work to: - Minimise AJAX calls by writing multiple settings at once. - Move the settings storage/retrieval JS code into a global file - Avoid using synchronous AJAX calls in the main thread	2015-02-11 10:00:57 +00:00