--- a/ViewManager/ViewManager.py	Tue Sep 24 18:32:18 2013 +0200
+++ b/ViewManager/ViewManager.py	Tue Sep 24 18:57:33 2013 +0200
@@ -5522,8 +5522,8 @@
             self.autosaveTimer.stop()
         
         # hide search and replace widgets
-        self.__searchWidget.hide()
-        self.__replaceWidget.hide()
+        self.searchDlg.hide()
+        self.replaceDlg.hide()
         
     def __editorOpened(self):
         """