Preferences/ConfigurationPages/EditorAutocompletionPage.ui

branch
maintenance
changeset 6826
c6dda2cbe081
parent 6319
df201b9fbad4
parent 6755
009812744917
--- a/Preferences/ConfigurationPages/EditorAutocompletionPage.ui	Sat Feb 16 10:27:50 2019 +0100
+++ b/Preferences/ConfigurationPages/EditorAutocompletionPage.ui	Sat Mar 02 11:15:24 2019 +0100
@@ -40,15 +40,33 @@
       <property name="spacing">
        <number>0</number>
       </property>
-      <property name="margin">
+      <property name="leftMargin">
+       <number>0</number>
+      </property>
+      <property name="topMargin">
+       <number>0</number>
+      </property>
+      <property name="rightMargin">
+       <number>0</number>
+      </property>
+      <property name="bottomMargin">
        <number>0</number>
       </property>
       <item>
        <layout class="QGridLayout" name="gridLayout_2">
-        <property name="verticalSpacing">
+        <property name="leftMargin">
+         <number>9</number>
+        </property>
+        <property name="topMargin">
          <number>9</number>
         </property>
-        <property name="margin">
+        <property name="rightMargin">
+         <number>9</number>
+        </property>
+        <property name="bottomMargin">
+         <number>9</number>
+        </property>
+        <property name="verticalSpacing">
          <number>9</number>
         </property>
         <item row="0" column="1">
@@ -85,7 +103,16 @@
       </item>
       <item>
        <layout class="QGridLayout" name="gridLayout_3">
-        <property name="margin">
+        <property name="leftMargin">
+         <number>9</number>
+        </property>
+        <property name="topMargin">
+         <number>9</number>
+        </property>
+        <property name="rightMargin">
+         <number>9</number>
+        </property>
+        <property name="bottomMargin">
          <number>9</number>
         </property>
         <property name="spacing">
@@ -381,10 +408,16 @@
     </widget>
    </item>
    <item>
-    <widget class="QGroupBox" name="groupBox_2">
+    <widget class="QGroupBox" name="acCacheGroup">
+     <property name="toolTip">
+      <string>Select to enable caching of completion results</string>
+     </property>
      <property name="title">
       <string>Completions Cache</string>
      </property>
+     <property name="checkable">
+      <bool>true</bool>
+     </property>
      <layout class="QGridLayout" name="gridLayout">
       <item row="0" column="0">
        <widget class="QLabel" name="label_2">
@@ -498,6 +531,7 @@
   <tabstop>acTimeoutSpinBox</tabstop>
   <tabstop>acScintillaCheckBox</tabstop>
   <tabstop>acWatchdogDoubleSpinBox</tabstop>
+  <tabstop>acCacheGroup</tabstop>
   <tabstop>acCacheSizeSpinBox</tabstop>
   <tabstop>acCacheTimeSpinBox</tabstop>
  </tabstops>

eric ide

mercurial