diff -r cd6704009eb9 -r 3c10f0e2fbe0 src/settingseditor/settingseditor.ui --- a/src/settingseditor/settingseditor.ui Thu Feb 06 23:41:20 2020 +0200 +++ b/src/settingseditor/settingseditor.ui Fri Feb 07 01:58:34 2020 +0200 @@ -93,37 +93,51 @@ - + Background colour: - + - + Line thickness: - + - + Line anti-aliasing + + + + + + + + + + + Selected colour: + + +