Jermolene 7e88dd788c Improve read-only logic ... We also need to hide buttons from the “more” dropdowns		2017-08-15 15:49:25 +01:00
..
centralised	Don't mark the centralised theme as experimental	2016-01-07 16:49:14 +00:00
heavier	Make "Heavier" theme heavier	2016-11-14 15:14:47 +00:00
readonly	Improve read-only logic	2017-08-15 15:49:25 +01:00
seamless	Consistent plugin descriptions	2015-02-17 10:28:54 +00:00
snowwhite	Make editor font configurable, so user can easily change it to eg monospace font (#2867)	2017-06-29 16:55:49 +01:00
starlight	Consistent plugin descriptions	2015-02-17 10:28:54 +00:00
tight	Tweaks to "Tight" theme	2015-10-12 17:54:17 +01:00
tight-heavier	Add tight-heavier theme that combines "tight" and "heavier"	2017-01-09 12:46:20 +00:00
vanilla	Fix tab border radius	2017-08-15 15:48:54 +01:00