author | edouard |
Mon, 07 Dec 2009 14:00:33 +0100 | |
changeset 471 | 98a39261db9e |
parent 470 | 337cb5041eda (current diff) |
parent 468 | d750151bd6ae (diff) |
child 473 | fc0b3c064208 |
--- a/plugger.py Mon Dec 07 13:55:52 2009 +0100 +++ b/plugger.py Mon Dec 07 14:00: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):