5620 pass |
5620 pass |
5621 |
5621 |
5622 # stop the autosave timer |
5622 # stop the autosave timer |
5623 if self.autosaveTimer.isActive(): |
5623 if self.autosaveTimer.isActive(): |
5624 self.autosaveTimer.stop() |
5624 self.autosaveTimer.stop() |
|
5625 |
|
5626 # hide search and replace widgets |
|
5627 self.__searchWidget.hide() |
|
5628 self.__replaceWidget.hide() |
5625 |
5629 |
5626 def __editorOpened(self): |
5630 def __editorOpened(self): |
5627 """ |
5631 """ |
5628 Private slot to handle the editorOpened signal. |
5632 Private slot to handle the editorOpened signal. |
5629 """ |
5633 """ |