Bug when updating Variable locations fixed
authorlaurent
Mon, 07 Dec 2009 10:25:33 +0100
changeset 468 d750151bd6ae
parent 467 11638e373a65
child 471 98a39261db9e
child 472 80eb3bde98e3
Bug when updating Variable locations fixed
plugger.py
--- 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):