Mercurial Repositories > eric / file diff

--- a/eric6/Preferences/__init__.py	Sun Oct 27 18:09:46 2019 +0100
+++ b/eric6/Preferences/__init__.py	Sun Oct 27 19:20:41 2019 +0100
@@ -475,6 +475,7 @@
         
         "ZoomFactor": 0,
         
+        "PreviewRefreshWaitTimer": 500,     # wait time in milliseconds
         "PreviewHtmlFileNameExtensions": ["html", "htm", "svg", "asp", "kid"],
         "PreviewMarkdownFileNameExtensions": ["md", "markdown"],
         "PreviewRestFileNameExtensions": ["rst"],
@@ -2044,7 +2045,8 @@
                  "PostScriptLevel", "EOLMode", "ZoomFactor", "WhitespaceSize",
                  "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval",
                  "WrapLongLinesMode", "WrapVisualFlag", "WrapIndentMode",
-                 "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions"]:
+                 "WrapStartIndent", "CallTipsPosition", "VirtualSpaceOptions",
+                 "PreviewRefreshWaitTimer"]:
         return int(prefClass.settings.value(
             "Editor/" + key, prefClass.editorDefaults[key]))
     elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",