diff -r 552d5934c6f6 -r 1cf0eb73b52d ViewManager/ViewManager.py --- 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): """