equal
deleted
inserted
replaced
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 |