--- a/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui Sun Jan 24 19:28:37 2016 +0100 +++ b/Preferences/ConfigurationPages/EditorHighlightingStylesPage.ui Mon Jan 25 18:57:22 2016 +0100 @@ -67,7 +67,7 @@ <string>Style Element</string> </property> <layout class="QGridLayout" name="gridLayout"> - <item row="0" column="0" rowspan="12"> + <item row="0" column="0" rowspan="14"> <widget class="QListWidget" name="styleElementList"> <property name="selectionMode"> <enum>QAbstractItemView::ExtendedSelection</enum> @@ -132,6 +132,35 @@ </widget> </item> <item row="6" column="1"> + <spacer name="spacer"> + <property name="orientation"> + <enum>Qt::Vertical</enum> + </property> + <property name="sizeHint" stdset="0"> + <size> + <width>20</width> + <height>43</height> + </size> + </property> + </spacer> + </item> + <item row="7" column="1"> + <widget class="QPushButton" name="monospacedButton"> + <property name="toolTip"> + <string>Press to show only monospaced fonts</string> + </property> + <property name="text"> + <string>Monospaced Fonts Only</string> + </property> + <property name="checkable"> + <bool>true</bool> + </property> + <property name="checked"> + <bool>true</bool> + </property> + </widget> + </item> + <item row="8" column="1"> <spacer> <property name="orientation"> <enum>Qt::Vertical</enum> @@ -139,12 +168,12 @@ <property name="sizeHint" stdset="0"> <size> <width>20</width> - <height>51</height> + <height>38</height> </size> </property> </spacer> </item> - <item row="7" column="1"> + <item row="9" column="1"> <widget class="QPushButton" name="allBackgroundColoursButton"> <property name="toolTip"> <string>Select the background colour for all styles</string> @@ -154,7 +183,7 @@ </property> </widget> </item> - <item row="8" column="1"> + <item row="10" column="1"> <widget class="QPushButton" name="allFontsButton"> <property name="toolTip"> <string>Select the font for all styles.</string> @@ -164,7 +193,7 @@ </property> </widget> </item> - <item row="9" column="1"> + <item row="11" column="1"> <widget class="QPushButton" name="allEolFillButton"> <property name="toolTip"> <string>Select the eol fill for all styles</string> @@ -174,14 +203,14 @@ </property> </widget> </item> - <item row="10" column="1"> + <item row="12" column="1"> <widget class="Line" name="line_2"> <property name="orientation"> <enum>Qt::Horizontal</enum> </property> </widget> </item> - <item row="11" column="1"> + <item row="13" column="1"> <widget class="QPushButton" name="allDefaultButton"> <property name="toolTip"> <string>Press to set all styles to their default values</string> @@ -191,7 +220,7 @@ </property> </widget> </item> - <item row="12" column="0" colspan="2"> + <item row="14" column="0" colspan="2"> <widget class="QLineEdit" name="sampleText"> <property name="focusPolicy"> <enum>Qt::NoFocus</enum> @@ -207,7 +236,7 @@ </property> </widget> </item> - <item row="13" column="0" colspan="2"> + <item row="15" column="0" colspan="2"> <widget class="QLabel" name="label"> <property name="text"> <string><b>Note:</b> The tick in the list above indicates the entrie's 'fill to end of line' setting.</string> @@ -280,10 +309,15 @@ <tabstop>fontButton</tabstop> <tabstop>eolfillCheckBox</tabstop> <tabstop>defaultButton</tabstop> + <tabstop>monospacedButton</tabstop> <tabstop>allBackgroundColoursButton</tabstop> <tabstop>allFontsButton</tabstop> <tabstop>allEolFillButton</tabstop> <tabstop>allDefaultButton</tabstop> + <tabstop>importCurrentButton</tabstop> + <tabstop>exportCurrentButton</tabstop> + <tabstop>importAllButton</tabstop> + <tabstop>exportAllButton</tabstop> </tabstops> <resources/> <connections/>