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 """ |