--- a/src/eric7/Preferences/__init__.py Thu Nov 02 16:01:14 2023 +0100 +++ b/src/eric7/Preferences/__init__.py Thu Nov 02 16:43:22 2023 +0100 @@ -486,6 +486,7 @@ "Path": [], "DefaultIconsPath": "automatic", # automatic, breeze-dark, breeze-light, oxygen + "IconSize": "", # determined by the used style } # defaults for the cooperation settings @@ -2316,12 +2317,6 @@ @param key the key of the value to get @return the requested Icons setting """ - dirlist = Prefs.settings.value("UI/Icons/" + key) - if dirlist is not None: - return dirlist - else: - return Prefs.iconsDefaults[key] - if key in ["Path"]: return toList(Prefs.settings.value("UI/Icons/" + key, Prefs.iconsDefaults[key])) else: