5518 pass |
5518 pass |
5519 |
5519 |
5520 # stop the autosave timer |
5520 # stop the autosave timer |
5521 if self.autosaveTimer.isActive(): |
5521 if self.autosaveTimer.isActive(): |
5522 self.autosaveTimer.stop() |
5522 self.autosaveTimer.stop() |
|
5523 |
|
5524 # hide search and replace widgets |
|
5525 self.__searchWidget.hide() |
|
5526 self.__replaceWidget.hide() |
5523 |
5527 |
5524 def __editorOpened(self): |
5528 def __editorOpened(self): |
5525 """ |
5529 """ |
5526 Private slot to handle the editorOpened signal. |
5530 Private slot to handle the editorOpened signal. |
5527 """ |
5531 """ |