ViewManager/ViewManager.py

branch
5_3_x
changeset 2887
9b6d993bf7c2
parent 2675
3215c3dc3bfa
child 2932
1cf0eb73b52d
equal deleted inserted replaced
2877:682ef11723c5 2887:9b6d993bf7c2
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 """

eric ide

mercurial