# HG changeset patch
# User edouard
# Date 1260190833 -3600
# Node ID 98a39261db9ee9471a98f32a909e059c28de0019
# Parent  337cb5041eda6d8894c2ef0fd547f16fff4c4758# Parent  d750151bd6aeee51fd3ab1a6d9d88cb9776c16fd
merge

diff -r 337cb5041eda -r 98a39261db9e plugger.py
--- 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):