Some minor cleanuo of icon themes, fallback icons and default theme

2020-05-17 11:47:00 +02:00
parent 0f054bc606
commit 4a047b2098
20 changed files with 413 additions and 276 deletions
@@ -84,7 +84,7 @@ class Config:
        ## General
        self.guiTheme  = "default"
        self.guiSyntax = "default_light"
-        self.guiIcons  = "default"
+        self.guiIcons  = "typicons_grey_light"
        self.guiDark   = False

        ## Sizes