3 commits

Author	SHA1	Message	Date
Mario Pietsch	0b56d5fd37	update German translation (#5811)	2021-06-21 12:14:36 +01:00
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
Mario Pietsch	79ee3b5a3b	new german text elements (#2426) ... * new german text elements * Theme-Tweaks first take.	2016-05-08 14:50:09 -06:00