eric6/Preferences/ConfigurationPages/EditorFilePage.py

changeset 7318
5d39cd2d7960
parent 7309
5a434813eef3
child 7319
49ea50a9a61e
--- a/eric6/Preferences/ConfigurationPages/EditorFilePage.py	Sun Oct 27 18:09:46 2019 +0100
+++ b/eric6/Preferences/ConfigurationPages/EditorFilePage.py	Sun Oct 27 19:20:41 2019 +0100
@@ -86,6 +86,9 @@
         elif eolMode == QsciScintilla.EolUnix:
             self.lfRadioButton.setChecked(True)
         
+        self.previewRefreshTimeoutSpinBox.setValue(
+            Preferences.getEditor("PreviewRefreshWaitTimer"))
+        
         self.previewHtmlExtensionsEdit.setText(
             " ".join(Preferences.getEditor("PreviewHtmlFileNameExtensions")))
         
@@ -169,6 +172,10 @@
         Preferences.setEditor("AdditionalSaveFilters", self.saveFileFilters)
         
         Preferences.setEditor(
+            "PreviewRefreshWaitTimer",
+            self.previewRefreshTimeoutSpinBox.value())
+        
+        Preferences.setEditor(
             "PreviewHtmlFileNameExtensions",
             [ext.strip() for ext in
              self.previewHtmlExtensionsEdit.text().split()])

eric ide

mercurial