26 |
26 |
27 @param viewmanager reference to the viewmanager object (ViewManager) |
27 @param viewmanager reference to the viewmanager object (ViewManager) |
28 @param splitter reference to the embedding splitter (QSplitter) |
28 @param splitter reference to the embedding splitter (QSplitter) |
29 @param parent reference to the parent widget (QWidget) |
29 @param parent reference to the parent widget (QWidget) |
30 """ |
30 """ |
31 super(Previewer, self).__init__(parent) |
31 super().__init__(parent) |
32 |
32 |
33 self.__vm = viewmanager |
33 self.__vm = viewmanager |
34 self.__splitter = splitter |
34 self.__splitter = splitter |
35 |
35 |
36 self.__firstShow = True |
36 self.__firstShow = True |
64 |
64 |
65 def show(self): |
65 def show(self): |
66 """ |
66 """ |
67 Public method to show the preview widget. |
67 Public method to show the preview widget. |
68 """ |
68 """ |
69 super(Previewer, self).show() |
69 super().show() |
70 if self.__firstShow: |
70 if self.__firstShow: |
71 self.__splitter.restoreState( |
71 self.__splitter.restoreState( |
72 Preferences.getUI("PreviewSplitterState")) |
72 Preferences.getUI("PreviewSplitterState")) |
73 self.__firstShow = False |
73 self.__firstShow = False |
74 self.__typingTimer.start() |
74 self.__typingTimer.start() |
75 |
75 |
76 def hide(self): |
76 def hide(self): |
77 """ |
77 """ |
78 Public method to hide the preview widget. |
78 Public method to hide the preview widget. |
79 """ |
79 """ |
80 super(Previewer, self).hide() |
80 super().hide() |
81 self.__typingTimer.stop() |
81 self.__typingTimer.stop() |
82 |
82 |
83 def shutdown(self): |
83 def shutdown(self): |
84 """ |
84 """ |
85 Public method to perform shutdown actions. |
85 Public method to perform shutdown actions. |