ViewManager/ViewManager.py

branch
Py2 comp.
changeset 3056
9986ec0e559a
parent 2791
a9577f248f04
parent 2886
dcaebdef6f4a
child 3057
10516539f238
equal deleted inserted replaced
2911:ce77f0b1ee67 3056:9986ec0e559a
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 """

eric ide

mercurial