Thu, 05 Sep 2013 18:11:19 +0200
Fixed an error in the view manager when the last editor is closed.
(grafted from dcaebdef6f4a4b08da62daef6594eb411a46eaa6)
ViewManager/ViewManager.py | file | annotate | diff | comparison | revisions |
--- a/ViewManager/ViewManager.py Sat Aug 31 17:33:20 2013 +0200 +++ b/ViewManager/ViewManager.py Thu Sep 05 18:11:19 2013 +0200 @@ -5521,6 +5521,10 @@ if self.autosaveTimer.isActive(): self.autosaveTimer.stop() + # hide search and replace widgets + self.__searchWidget.hide() + self.__replaceWidget.hide() + def __editorOpened(self): """ Private slot to handle the editorOpened signal.