plugger.py
changeset 468 d750151bd6ae
parent 466 11263fd24566
child 474 6dc5505d79ce
equal deleted inserted replaced
467:11638e373a65 468:d750151bd6ae
   994     # Update a PLCOpenEditor Pou variable location
   994     # Update a PLCOpenEditor Pou variable location
   995     def UpdateProjectVariableLocation(self, old_leading, new_leading):
   995     def UpdateProjectVariableLocation(self, old_leading, new_leading):
   996         self.Project.updateElementAddress(old_leading, new_leading)
   996         self.Project.updateElementAddress(old_leading, new_leading)
   997         self.BufferProject()
   997         self.BufferProject()
   998         if self.AppFrame is not None:
   998         if self.AppFrame is not None:
   999             self.AppFrame._Refresh(TITLE, INSTANCESTREE, FILEMENU, EDITMENU)
   999             self.AppFrame.RefreshTitle()
       
  1000             self.AppFrame.RefreshInstancesTree()
       
  1001             self.AppFrame.RefreshFileMenu()
       
  1002             self.AppFrame.RefreshEditMenu()
  1000             self.AppFrame.RefreshEditor()
  1003             self.AppFrame.RefreshEditor()
  1001     
  1004     
  1002     def GetVariableLocationTree(self):
  1005     def GetVariableLocationTree(self):
  1003         '''
  1006         '''
  1004         This function is meant to be overridden by plugins.
  1007         This function is meant to be overridden by plugins.