Mario Pietsch cee7baa183 Make editor font configurable, so user can easily change it to eg monospace font (#2867)		2017-06-29 16:55:49 +01:00
..
en-GB	Make editor font configurable, so user can easily change it to eg monospace font (#2867)	2017-06-29 16:55:49 +01:00
en-GB.tid	Move the en-GB language plugin into the core	2014-02-11 13:20:17 +00:00