--- 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>