eric6/UI/Previewer.py

changeset 7318
5d39cd2d7960
parent 7264
bedbe458d792
child 7360
9190402e4505
equal deleted inserted replaced
7317:cada9fd4ad3a 7318:5d39cd2d7960
8 """ 8 """
9 9
10 10
11 import os 11 import os
12 12
13 from PyQt5.QtCore import QTimer 13 from PyQt5.QtCore import pyqtSlot, QTimer
14 from PyQt5.QtWidgets import QStackedWidget 14 from PyQt5.QtWidgets import QStackedWidget
15 15
16 import Preferences 16 import Preferences
17 17
18 18
39 self.__htmlPreviewer = None 39 self.__htmlPreviewer = None
40 self.__qssPreviewer = None 40 self.__qssPreviewer = None
41 41
42 # Don't update too often because the UI might become sluggish 42 # Don't update too often because the UI might become sluggish
43 self.__typingTimer = QTimer() 43 self.__typingTimer = QTimer()
44 self.__typingTimer.setInterval(500) # 500ms 44 self.__typingTimer.setInterval(
45 Preferences.getEditor("PreviewRefreshWaitTimer")) # default 500ms
45 self.__typingTimer.timeout.connect(self.__processEditor) 46 self.__typingTimer.timeout.connect(self.__processEditor)
46 47
47 self.__vm.editorChangedEd.connect(self.__editorChanged) 48 self.__vm.editorChangedEd.connect(self.__editorChanged)
48 self.__vm.editorLanguageChanged.connect(self.__editorLanguageChanged) 49 self.__vm.editorLanguageChanged.connect(self.__editorLanguageChanged)
49 self.__vm.editorTextChanged.connect(self.__editorTextChanged) 50 self.__vm.editorTextChanged.connect(self.__editorTextChanged)
51 self.__vm.previewStateChanged.connect(self.__previewStateChanged) 52 self.__vm.previewStateChanged.connect(self.__previewStateChanged)
52 53
53 self.__splitter.splitterMoved.connect(self.__splitterMoved) 54 self.__splitter.splitterMoved.connect(self.__splitterMoved)
54 55
55 self.hide() 56 self.hide()
57
58 @pyqtSlot()
59 def preferencesChanged(self):
60 """
61 Public slot handling a change of preferences.
62 """
63 self.__typingTimer.setInterval(
64 Preferences.getEditor("PreviewRefreshWaitTimer"))
56 65
57 def show(self): 66 def show(self):
58 """ 67 """
59 Public method to show the preview widget. 68 Public method to show the preview widget.
60 """ 69 """

eric ide

mercurial