Fri, 25 Jan 2013 18:20:16 +0100
Fixed a bug introduced recently.
UI/UserInterface.py | file | annotate | diff | comparison | revisions |
--- a/UI/UserInterface.py Fri Jan 25 18:13:50 2013 +0100 +++ b/UI/UserInterface.py Fri Jan 25 18:20:16 2013 +0100 @@ -3324,7 +3324,7 @@ be saved (boolean) """ self.viewmanager.searchWidget().hide() - self.viewmanager.replaceWidget.hide() + self.viewmanager.replaceWidget().hide() self.__activateViewProfile("debug", save) self.setDebugProfileAct.setChecked(True)