beremiz

d750151bd6ae
Bug when updating Variable locations fixed
  • +4 -1
    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):