Mercurial Repositories > eric / file diff

--- a/eric6/UI/Previewer.py	Sun Oct 27 18:09:46 2019 +0100
+++ b/eric6/UI/Previewer.py	Sun Oct 27 19:20:41 2019 +0100
@@ -10,7 +10,7 @@
 
 import os
 
-from PyQt5.QtCore import QTimer
+from PyQt5.QtCore import pyqtSlot, QTimer
 from PyQt5.QtWidgets import QStackedWidget
 
 import Preferences
@@ -41,7 +41,8 @@
         
         # Don't update too often because the UI might become sluggish
         self.__typingTimer = QTimer()
-        self.__typingTimer.setInterval(500)     # 500ms
+        self.__typingTimer.setInterval(
+            Preferences.getEditor("PreviewRefreshWaitTimer"))   # default 500ms
         self.__typingTimer.timeout.connect(self.__processEditor)
         
         self.__vm.editorChangedEd.connect(self.__editorChanged)
@@ -54,6 +55,14 @@
         
         self.hide()
     
+    @pyqtSlot()
+    def preferencesChanged(self):
+        """
+        Public slot handling a change of preferences.
+        """
+        self.__typingTimer.setInterval(
+            Preferences.getEditor("PreviewRefreshWaitTimer"))
+    
     def show(self):
         """
         Public method to show the preview widget.