Mercurial Repositories > eric / file comparison
comparison: src/eric7/UI/Previewer.py
src/eric7/UI/Previewer.py
- branch
- eric7
- changeset 11215
- d07c71a34adf
- parent 11148
- 15e30f0c76a8
equal
deleted
inserted
replaced
| 11214:8cb6b7651074 | 11215:d07c71a34adf |
|---|---|
| 19 """ | 19 """ |
| 20 Class implementing a previewer widget containing a stack of | 20 Class implementing a previewer widget containing a stack of |
| 21 specialized previewers. | 21 specialized previewers. |
| 22 """ | 22 """ |
| 23 | 23 |
| 24 def __init__(self, viewmanager, parent=None): | 24 def __init__(self, viewmanager, ui): |
| 25 """ | 25 """ |
| 26 Constructor | 26 Constructor |
| 27 | 27 |
| 28 @param viewmanager reference to the viewmanager object | 28 @param viewmanager reference to the viewmanager object |
| 29 @type ViewManager | 29 @type ViewManager |
| 30 @param parent reference to the parent widget | 30 @param ui reference to the main ui widget |
| 31 @type QWidget | 31 @type QWidget |
| 32 """ | 32 """ |
| 33 super().__init__(parent) | 33 super().__init__(None) |
| 34 | 34 |
| 35 self.__vm = viewmanager | 35 self.__vm = viewmanager |
| 36 | 36 |
| 37 self.__firstShow = True | 37 self.__firstShow = True |
| 38 | 38 |
| 50 self.__vm.editorLanguageChanged.connect(self.__editorLanguageChanged) | 50 self.__vm.editorLanguageChanged.connect(self.__editorLanguageChanged) |
| 51 self.__vm.editorTextChanged.connect(self.__editorTextChanged) | 51 self.__vm.editorTextChanged.connect(self.__editorTextChanged) |
| 52 | 52 |
| 53 self.__vm.previewStateChanged.connect(self.__previewStateChanged) | 53 self.__vm.previewStateChanged.connect(self.__previewStateChanged) |
| 54 | 54 |
| 55 ui.shutdown.connect(self.__shutdown) | |
| 56 | |
| 55 self.hide() | 57 self.hide() |
| 56 | 58 |
| 57 def setSplitter(self, splitter): | 59 def setSplitter(self, splitter): |
| 58 """ | 60 """ |
| 59 Public method to set the splitter. | 61 Public method to set the splitter. |
| 86 Public method to hide the preview widget. | 88 Public method to hide the preview widget. |
| 87 """ | 89 """ |
| 88 super().hide() | 90 super().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 Private method to perform shutdown actions. |
| 94 """ | 96 """ |
| 95 self.__typingTimer.stop() | 97 self.__typingTimer.stop() |
| 96 self.__htmlPreviewer and self.__htmlPreviewer.shutdown() | 98 self.__htmlPreviewer and self.__htmlPreviewer.shutdown() |
| 97 | 99 |
| 98 def __splitterMoved(self): | 100 def __splitterMoved(self): |
