eric6/UI/Previewer.py

changeset 8218
7c09585bd960
parent 7923
91e843545d9a
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
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.

eric ide

mercurial