BurningTreeC 018f7628f5 Remove the last of the new editor styles (reverting) (#3616)		2018-12-03 09:08:11 +00:00
..
ThemeTweaks.tid	Make editor font configurable, so user can easily change it to eg monospace font (#2867)	2017-06-29 16:55:49 +01:00
base.tid	Remove the last of the new editor styles (reverting) (#3616)	2018-12-03 09:08:11 +00:00
metrics.multids	…
options.multids	Fix word wrapping in code blocks	2016-04-04 17:27:55 +01:00
plugin.info	Add plugin-priority fields for core plugins (#3113)	2018-03-20 21:05:07 +00:00
reset.tid	…
settings.multids	Fix Snow White default fonts according to GitHub's advice	2018-02-28 11:42:08 +00:00
sticky.tid	…