(self, visible)
| 65 | pass |
| 66 | |
| 67 | def _set_host_editor_visible(self, visible): |
| 68 | if visible: |
| 69 | if self._original_width == -1: |
| 70 | self._original_width = self.get_width() |
| 71 | self._original_height = self.get_height() |
| 72 | self.set_default_size(1300, self._original_height) |
| 73 | elif self._original_width != -1: |
| 74 | self.set_default_size(self._original_width, self._original_height) |
| 75 | self._original_width = -1 |
| 76 | self._original_height = -1 |
| 77 | self.host_editor.set_visible(visible) |
| 78 | if not visible: |
| 79 | try: |
| 80 | self._show_welcome_view() |
| 81 | except Exception: |
| 82 | pass |
| 83 | |
| 84 | def _load_preferences(self): |
| 85 | """Load preferences from the saved file and apply them to the window.""" |
no test coverage detected