editors/Viewer.py
changeset 1229 137fd7e7b102
parent 1228 b1be490594af
child 1233 5e6d0969bb5d
equal deleted inserted replaced
1228:b1be490594af 1229:137fd7e7b102
  1090             instance = self.Controler.GetEditedElementInstanceInfos(self.TagName, exclude = ids, debug = self.Debug)
  1090             instance = self.Controler.GetEditedElementInstanceInfos(self.TagName, exclude = ids, debug = self.Debug)
  1091             if instance is not None:
  1091             if instance is not None:
  1092                 self.loadInstance(instance, ids, selection)
  1092                 self.loadInstance(instance, ids, selection)
  1093         
  1093         
  1094         if (selection is not None and 
  1094         if (selection is not None and 
  1095             isinstance(self.SelectedElement, GraphicGroup)):
  1095             isinstance(self.SelectedElement, Graphic_Group)):
  1096             self.SelectedElement.RefreshWireExclusion()
  1096             self.SelectedElement.RefreshWireExclusion()
  1097             self.SelectedElement.RefreshBoundingBox()
  1097             self.SelectedElement.RefreshBoundingBox()
  1098         
  1098         
  1099         self.RefreshScrollBars()
  1099         self.RefreshScrollBars()
  1100         
  1100