author | laurent |
Mon, 07 Dec 2009 10:25:33 +0100 | |
changeset 468 | d750151bd6ae |
parent 467 | 11638e373a65 |
child 471 | 98a39261db9e |
child 472 | 80eb3bde98e3 |
plugger.py | file | annotate | diff | comparison | revisions |
--- a/plugger.py Mon Dec 07 10:08:12 2009 +0100 +++ b/plugger.py Mon Dec 07 10:25:33 2009 +0100 @@ -996,7 +996,10 @@ self.Project.updateElementAddress(old_leading, new_leading) self.BufferProject() if self.AppFrame is not None: - self.AppFrame._Refresh(TITLE, INSTANCESTREE, FILEMENU, EDITMENU) + self.AppFrame.RefreshTitle() + self.AppFrame.RefreshInstancesTree() + self.AppFrame.RefreshFileMenu() + self.AppFrame.RefreshEditMenu() self.AppFrame.RefreshEditor() def GetVariableLocationTree(self):