10 Commits

Author	SHA1	Message	Date
Nick O'Leary	972e6fc6b3	Tidy editor code to pass jshint	2014-08-08 00:01:35 +01:00
Nick O'Leary	715fb6e7f4	Tidy-up tab ui api	2014-02-21 09:54:50 +00:00
Nick O'Leary	cfd8d137cf	Add config-node sidebar tab ... Accessed from the drop-down menu	2014-01-25 22:31:43 +00:00
Nicholas O'Leary	60652d2095	Update workspace delete button state properly	2013-10-30 19:25:22 +00:00
Nicholas O'Leary	a8f5d6b9ee	Prevent deleting the final tab	2013-10-28 20:48:25 +00:00
Nicholas O'Leary	c810edc10e	Rename/Delete tab support	2013-10-26 22:29:24 +01:00
Nicholas O'Leary	3604286793	Save/restore tabs	2013-10-25 21:34:00 +01:00
Nicholas O'Leary	f3e33f4c29	Add workspace menu and start plumbing in	2013-10-23 16:42:13 +01:00
Nicholas O'Leary	fa3c219685	Better tab sizing and scaling	2013-10-23 10:44:08 +01:00
Nicholas O'Leary	dce09f318f	Add some tabs	2013-10-23 00:02:22 +01:00