Fixed an error in the view manager when the last editor is closed. 5_3_x

Thu, 05 Sep 2013 18:11:19 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Thu, 05 Sep 2013 18:11:19 +0200
branch
5_3_x
changeset 2887
9b6d993bf7c2
parent 2877
682ef11723c5
child 2901
11fdeb2891a8

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.

eric ide

mercurial