--- a/src/eric7/Preferences/__init__.py Sun Apr 07 19:23:30 2024 +0200 +++ b/src/eric7/Preferences/__init__.py Sun Apr 07 19:58:46 2024 +0200 @@ -490,6 +490,7 @@ "DefaultIconsPath": "automatic", # automatic, breeze-dark, breeze-light "IconSize": "", # determined by the used style + "PreferVectorIcons": True, } # defaults for the cooperation settings @@ -2368,8 +2369,10 @@ @return the requested Icons setting @rtype Any """ - if key in ["Path"]: + if key in ("Path",): return toList(Prefs.settings.value("UI/Icons/" + key, Prefs.iconsDefaults[key])) + elif key in ("PreferVectorIcons",): + return toBool(Prefs.settings.value("UI/Icons/" + key, Prefs.iconsDefaults[key])) else: return Prefs.settings.value("UI/Icons/" + key, Prefs.iconsDefaults[key])