Mercurial Repositories > eric / file diff

--- a/ViewManager/ViewManager.py	Sun Sep 08 19:04:07 2013 +0200
+++ b/ViewManager/ViewManager.py	Tue Oct 15 22:03:54 2013 +0200
@@ -5623,6 +5623,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.