Thu, 05 Sep 2013 18:11:19 +0200
Fixed an error in the view manager when the last editor is closed.
ViewManager/ViewManager.py | file | annotate | diff | comparison | revisions |
--- a/ViewManager/ViewManager.py Wed Sep 04 19:37:40 2013 +0200 +++ b/ViewManager/ViewManager.py Thu Sep 05 18:11:19 2013 +0200 @@ -5621,6 +5621,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.