ViewManager/ViewManager.py

branch
5_3_x
changeset 2932
1cf0eb73b52d
parent 2887
9b6d993bf7c2
child 3163
9f50365a0870
equal deleted inserted replaced
2931:552d5934c6f6 2932:1cf0eb73b52d
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 5523
5524 # hide search and replace widgets 5524 # hide search and replace widgets
5525 self.__searchWidget.hide() 5525 self.searchDlg.hide()
5526 self.__replaceWidget.hide() 5526 self.replaceDlg.hide()
5527 5527
5528 def __editorOpened(self): 5528 def __editorOpened(self):
5529 """ 5529 """
5530 Private slot to handle the editorOpened signal. 5530 Private slot to handle the editorOpened signal.
5531 """ 5531 """

eric ide

mercurial