Mercurial Repositories > eric / file diff

--- a/eric6/Preferences/ConfigurationPages/EditorFilePage.ui	Sun Oct 27 18:09:46 2019 +0100
+++ b/eric6/Preferences/ConfigurationPages/EditorFilePage.ui	Sun Oct 27 19:20:41 2019 +0100
@@ -7,7 +7,7 @@
     <x>0</x>
     <y>0</y>
     <width>600</width>
-    <height>1622</height>
+    <height>1739</height>
    </rect>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout_5">
@@ -456,6 +456,49 @@
      </property>
      <layout class="QVBoxLayout" name="verticalLayout_4">
       <item>
+       <layout class="QHBoxLayout" name="horizontalLayout_5">
+        <item>
+         <widget class="QLabel" name="label_8">
+          <property name="text">
+           <string>Refresh Timeout:</string>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <widget class="QSpinBox" name="previewRefreshTimeoutSpinBox">
+          <property name="toolTip">
+           <string>Enter the timeout in milliseconds until the preview is refreshed</string>
+          </property>
+          <property name="suffix">
+           <string> ms</string>
+          </property>
+          <property name="minimum">
+           <number>500</number>
+          </property>
+          <property name="maximum">
+           <number>5000</number>
+          </property>
+          <property name="singleStep">
+           <number>500</number>
+          </property>
+         </widget>
+        </item>
+        <item>
+         <spacer name="horizontalSpacer">
+          <property name="orientation">
+           <enum>Qt::Horizontal</enum>
+          </property>
+          <property name="sizeHint" stdset="0">
+           <size>
+            <width>40</width>
+            <height>20</height>
+           </size>
+          </property>
+         </spacer>
+        </item>
+       </layout>
+      </item>
+      <item>
        <widget class="QGroupBox" name="groupBox_12">
         <property name="title">
          <string>HTML Files</string>
@@ -698,6 +741,7 @@
   <tabstop>addFileFilterButton</tabstop>
   <tabstop>editFileFilterButton</tabstop>
   <tabstop>deleteFileFilterButton</tabstop>
+  <tabstop>previewRefreshTimeoutSpinBox</tabstop>
   <tabstop>previewHtmlExtensionsEdit</tabstop>
   <tabstop>previewMarkdownExtensionsEdit</tabstop>
   <tabstop>previewMarkdownHTMLFormatComboBox</tabstop>