-
Christoph Cullmann authored
GUI: improved config dialog remove tree, plain list avoid application/editor separation move editor component things to top, as that is the stuff most people want to change, e.g. fonts/colors/editing behaviors
895160f4
GUI: improved config dialog remove tree, plain list avoid application/editor separation move editor component things to top, as that is the stuff most people want to change, e.g. fonts/colors/editing behaviors