Merge branch 'master' into dev_0.6

2020-05-17 12:25:23 +02:00
parent 3a199b79c9 15a4e76a7b
commit cfeadc9b59
20 changed files with 415 additions and 277 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
        self.guiLang   = "en" # Hardcoded for now