Viewer.py
changeset 259 fae941a87cff
parent 253 d9391572655f
child 261 6fe3ee00f9a0
equal deleted inserted replaced
258:bded3a67ea4b 259:fae941a87cff
  1267                     wire.Handle = (HANDLE_POINT, 1)
  1267                     wire.Handle = (HANDLE_POINT, 1)
  1268                     self.AddWire(wire)
  1268                     self.AddWire(wire)
  1269                     if self.SelectedElement is not None:
  1269                     if self.SelectedElement is not None:
  1270                         self.SelectedElement.SetSelected(False)
  1270                         self.SelectedElement.SetSelected(False)
  1271                     self.SelectedElement = wire
  1271                     self.SelectedElement = wire
       
  1272                     self.RefreshVisibleElements()
  1272                     self.SelectedElement.Refresh()
  1273                     self.SelectedElement.Refresh()
  1273                 else:
  1274                 else:
  1274                     if self.SelectedElement is not None and self.SelectedElement != element:
  1275                     if self.SelectedElement is not None and self.SelectedElement != element:
  1275                         self.SelectedElement.SetSelected(False)
  1276                         self.SelectedElement.SetSelected(False)
  1276                         self.SelectedElement = None
  1277                         self.SelectedElement = None