--- 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)
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):