Preferences/ConfigurationPages/EditorStylesPage.ui

changeset 5416
16366120b523
parent 4304
f85965649066
child 5706
59458b006d76
--- a/Preferences/ConfigurationPages/EditorStylesPage.ui	Tue Jan 10 19:41:43 2017 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.ui	Wed Jan 11 19:28:04 2017 +0100
@@ -10,7 +10,7 @@
     <height>2312</height>
    </rect>
   </property>
-  <layout class="QVBoxLayout" name="verticalLayout_7">
+  <layout class="QVBoxLayout" name="verticalLayout_8">
    <item>
     <widget class="QLabel" name="headerLabel">
      <property name="text">
@@ -1849,8 +1849,8 @@
      <property name="title">
       <string>Various</string>
      </property>
-     <layout class="QGridLayout" name="_14">
-      <item row="0" column="0">
+     <layout class="QVBoxLayout" name="verticalLayout_7">
+      <item>
        <widget class="QCheckBox" name="miniMenuCheckBox">
         <property name="toolTip">
          <string>Select to show a minimalistic context menu</string>
@@ -1860,6 +1860,16 @@
         </property>
        </widget>
       </item>
+      <item>
+       <widget class="QCheckBox" name="hideFormatButtonsCheckBox">
+        <property name="toolTip">
+         <string>Select to hide the Format Buttons bar when formatting is not supported</string>
+        </property>
+        <property name="text">
+         <string>Hide Format Buttons bar when not supported</string>
+        </property>
+       </widget>
+      </item>
      </layout>
     </widget>
    </item>

eric ide

mercurial