Jeremy Ruston aa7b18427f Incorporate “diff” engine to show visual differences (#3112)		2018-03-16 20:38:35 +00: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	Incorporate “diff” engine to show visual differences (#3112)	2018-03-16 20:38:35 +00:00