diff -r e3d7e0cc0e6a -r e26fa3b06f4f src/eric7/Preferences/ConfigurationPages/IconsPage.py
--- a/src/eric7/Preferences/ConfigurationPages/IconsPage.py Thu Nov 02 16:01:14 2023 +0100
+++ b/src/eric7/Preferences/ConfigurationPages/IconsPage.py Thu Nov 02 16:43:22 2023 +0100
@@ -15,6 +15,7 @@
from eric7 import Preferences
from eric7.EricWidgets.EricApplication import ericApp
from eric7.EricWidgets.EricPathPicker import EricPathPickerModes
+from eric7.EricWidgets.EricToolBarManager import EricToolBarManager
from eric7.Globals import getConfig
from .ConfigurationPageBase import ConfigurationPageBase
@@ -36,7 +37,16 @@
self.iconDirectoryPicker.setMode(EricPathPickerModes.DIRECTORY_MODE)
+ for iconSize in EricToolBarManager.IconSizes:
+ self.iconSizeComboBox.addItem(
+ EricToolBarManager.IconSizes[iconSize][1], iconSize
+ )
+
# set initial values
+ self.iconSizeComboBox.setCurrentIndex(
+ self.iconSizeComboBox.findData(Preferences.getIcons("IconSize"))
+ )
+
defaultIconsPath = Preferences.getIcons("DefaultIconsPath")
if defaultIconsPath == "automatic":
self.defaultAutomaticButton.setChecked(True)
@@ -56,6 +66,8 @@
"""
Public slot to save the Icons configuration.
"""
+ Preferences.setIcons("IconSize", self.iconSizeComboBox.currentData())
+
Preferences.setIcons("DefaultIconsPath", self.__getSelectedDefaultIconsPath())
dirList = []
