equal
deleted
inserted
replaced
1477 rect = self.SelectedElement.GetRedrawRect() |
1477 rect = self.SelectedElement.GetRedrawRect() |
1478 self.SelectedElement.Delete() |
1478 self.SelectedElement.Delete() |
1479 self.SelectedElement = None |
1479 self.SelectedElement = None |
1480 element = None |
1480 element = None |
1481 self.RefreshRect(self.GetScrolledRect(rect), False) |
1481 self.RefreshRect(self.GetScrolledRect(rect), False) |
1482 elif not self.Debug and connector is not None: |
1482 elif not self.Debug and connector is not None and not event.ControlDown(): |
1483 self.DrawingWire = True |
1483 self.DrawingWire = True |
1484 scaled_pos = GetScaledEventPosition(event, dc, self.Scaling) |
1484 scaled_pos = GetScaledEventPosition(event, dc, self.Scaling) |
1485 if (connector.GetDirection() == EAST): |
1485 if (connector.GetDirection() == EAST): |
1486 wire = Wire(self, [wx.Point(pos.x, pos.y), EAST], [wx.Point(scaled_pos.x, scaled_pos.y), WEST]) |
1486 wire = Wire(self, [wx.Point(pos.x, pos.y), EAST], [wx.Point(scaled_pos.x, scaled_pos.y), WEST]) |
1487 else: |
1487 else: |