beremiz

merge

2009-12-07, edouard
98a39261db9e
Parents 337cb5041edad750151bd6ae
Children fc0b3c064208
merge
1 files changed, 4 insertions(+), 1 deletions(-)
  • +4 -1
    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):