changeset 468 | d750151bd6ae |
parent 466 | 11263fd24566 |
child 474 | 6dc5505d79ce |
--- 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):