3 Commits (613df8b5969a99c2d0d41af05ed5aae246c87e14)

Author	SHA1	Message	Date
Dave Page	613df8b596	Copyright year fixes and doc tweaks.	2015-02-25 20:25:41 +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	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