diff -r 98906a94732f -r bbb901b97404 src/mainwindow.ui
--- a/src/mainwindow.ui Thu Jan 30 19:20:11 2020 +0200
+++ b/src/mainwindow.ui Fri Jan 31 00:25:35 2020 +0200
@@ -26,7 +26,7 @@
0
0
800
- 27
+ 22
+
+
@@ -75,6 +84,30 @@
Preferences…
+
+
+ true
+
+
+ Normal colours
+
+
+
+
+ true
+
+
+ BFC color coding
+
+
+
+
+ true
+
+
+ Random colours
+
+