2523:139f182b72f6 | 2525:8b507a9a2d40 |
---|---|
4 # | 4 # |
5 | 5 |
6 """ | 6 """ |
7 Module implementing a previewer widget for HTML, Markdown and ReST files. | 7 Module implementing a previewer widget for HTML, Markdown and ReST files. |
8 """ | 8 """ |
9 | |
10 from __future__ import unicode_literals # __IGNORE_WARNING__ | |
9 | 11 |
10 import os | 12 import os |
11 import threading | 13 import threading |
12 import re | 14 import re |
13 | 15 |
33 | 35 |
34 @param viewmanager reference to the viewmanager object (ViewManager) | 36 @param viewmanager reference to the viewmanager object (ViewManager) |
35 @param splitter reference to the embedding splitter (QSplitter) | 37 @param splitter reference to the embedding splitter (QSplitter) |
36 @param parent reference to the parent widget (QWidget) | 38 @param parent reference to the parent widget (QWidget) |
37 """ | 39 """ |
38 super().__init__(parent) | 40 super(Previewer, self).__init__(parent) |
39 self.setupUi(self) | 41 self.setupUi(self) |
40 | 42 |
41 self.__vm = viewmanager | 43 self.__vm = viewmanager |
42 self.__splitter = splitter | 44 self.__splitter = splitter |
43 | 45 |
71 | 73 |
72 def show(self): | 74 def show(self): |
73 """ | 75 """ |
74 Public method to show the preview widget. | 76 Public method to show the preview widget. |
75 """ | 77 """ |
76 super().show() | 78 super(Previewer, self).show() |
77 if self.__firstShow: | 79 if self.__firstShow: |
78 self.__splitter.restoreState(Preferences.getUI("PreviewSplitterState")) | 80 self.__splitter.restoreState(Preferences.getUI("PreviewSplitterState")) |
79 self.jsCheckBox.setChecked(Preferences.getUI("ShowFilePreviewJS")) | 81 self.jsCheckBox.setChecked(Preferences.getUI("ShowFilePreviewJS")) |
80 self.ssiCheckBox.setChecked(Preferences.getUI("ShowFilePreviewSSI")) | 82 self.ssiCheckBox.setChecked(Preferences.getUI("ShowFilePreviewSSI")) |
81 self.__firstShow = False | 83 self.__firstShow = False |
83 | 85 |
84 def hide(self): | 86 def hide(self): |
85 """ | 87 """ |
86 Public method to hide the preview widget. | 88 Public method to hide the preview widget. |
87 """ | 89 """ |
88 super().hide() | 90 super(Previewer, self).hide() |
89 self.__typingTimer.stop() | 91 self.__typingTimer.stop() |
90 | 92 |
91 def shutdown(self): | 93 def shutdown(self): |
92 """ | 94 """ |
93 Public method to perform shutdown actions. | 95 Public method to perform shutdown actions. |
329 """ | 331 """ |
330 Constructor | 332 Constructor |
331 | 333 |
332 @param parent reference to the parent object (QObject) | 334 @param parent reference to the parent object (QObject) |
333 """ | 335 """ |
334 super().__init__() | 336 super(PreviewProcessingThread, self).__init__() |
335 | 337 |
336 self.__lock = threading.Lock() | 338 self.__lock = threading.Lock() |
337 | 339 |
338 def process(self, filePath, language, text, ssiEnabled, rootPath): | 340 def process(self, filePath, language, text, ssiEnabled, rootPath): |
339 """ | 341 """ |