diff -r bfa05f79d932 -r f2d75784e574 src/eric7/Preferences/ConfigurationPages/IconsPage.ui
--- a/src/eric7/Preferences/ConfigurationPages/IconsPage.ui Sun Apr 07 19:23:30 2024 +0200
+++ b/src/eric7/Preferences/ConfigurationPages/IconsPage.ui Sun Apr 07 19:58:46 2024 +0200
@@ -70,6 +70,16 @@
</widget>
</item>
<item>
+ <widget class="QCheckBox" name="vectorIconsCheckBox">
+ <property name="toolTip">
+ <string>Select this in order to prefer vector based SVG icons (pixel based icons as fallback). If unchecked pixel based are prefered.</string>
+ </property>
+ <property name="text">
+ <string>Prefer Vector Icons (SVG Icons)</string>
+ </property>
+ </widget>
+ </item>
+ <item>
<widget class="QGroupBox" name="groupBox_2">
<property name="title">
<string>Default Icons</string>
@@ -295,6 +305,7 @@
</customwidgets>
<tabstops>
<tabstop>iconSizeComboBox</tabstop>
+ <tabstop>vectorIconsCheckBox</tabstop>
<tabstop>defaultAutomaticButton</tabstop>
<tabstop>defaultBreezeLightButton</tabstop>
<tabstop>defaultBreezeDarkButton</tabstop>
