ui: Added more settings to the preferences

Added font face, font size, tab width, analysis threads
2016-05-18 11:15:28 +02:00
parent e40459e71d
commit e943ef149e
7 changed files with 173 additions and 1 deletions
@@ -26,6 +26,12 @@
 }

 #label {
+	font-size: 12pt;
+	font-weight: bold;
+}
+
+#titleLabel {
+	font-size: 14pt;
 	font-weight: bold;
 }