Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui

branch
sub_styles
changeset 6862
6f4237ccf576
parent 4698
61c0aef6a570
child 6864
7837ab17f079
--- a/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui	Sat Mar 16 14:08:02 2019 +0100
+++ b/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui	Sat Mar 16 14:10:51 2019 +0100
@@ -67,13 +67,6 @@
       <string>Style Element</string>
      </property>
      <layout class="QGridLayout" name="gridLayout">
-      <item row="0" column="0" rowspan="14">
-       <widget class="QListWidget" name="styleElementList">
-        <property name="selectionMode">
-         <enum>QAbstractItemView::ExtendedSelection</enum>
-        </property>
-       </widget>
-      </item>
       <item row="0" column="1">
        <widget class="QPushButton" name="foregroundButton">
         <property name="toolTip">
@@ -246,6 +239,27 @@
         </property>
        </widget>
       </item>
+      <item row="0" column="0" rowspan="14">
+       <widget class="QTreeWidget" name="styleElementList">
+        <property name="selectionMode">
+         <enum>QAbstractItemView::ExtendedSelection</enum>
+        </property>
+        <property name="rootIsDecorated">
+         <bool>false</bool>
+        </property>
+        <property name="itemsExpandable">
+         <bool>false</bool>
+        </property>
+        <property name="headerHidden">
+         <bool>true</bool>
+        </property>
+        <column>
+         <property name="text">
+          <string notr="true">1</string>
+         </property>
+        </column>
+       </widget>
+      </item>
      </layout>
     </widget>
    </item>

eric ide

mercurial