Matt Lauber 1dc7647640 Add plugin-priority fields for core plugins (#3113) ...

* Bug in plugin Ordering

Comparing plugin A without a `plugin-priority` field to plugin B with a `plugin-priority= 1` results in the plugins being ordered B, A when it seems like they should be ordered A, B.

* Switch to setting a plugin-priority on the built in themes to allow overriding parts of them.

2018-03-20 21:05:07 +00:00

..

base.tid

Make editor font configurable, so user can easily change it to eg monospace font (#2867)

2017-06-29 16:55:49 +01:00

plugin.info

Add plugin-priority fields for core plugins (#3113)

2018-03-20 21:05:07 +00:00