Viewer.py
changeset 652 676307069508
parent 643 941eda65db7a
child 654 f8445d00613d
--- a/Viewer.py	Tue Feb 21 23:56:13 2012 +0100
+++ b/Viewer.py	Wed Mar 07 10:06:01 2012 +0100
@@ -1479,7 +1479,7 @@
                             self.SelectedElement = None
                             element = None
                             self.RefreshRect(self.GetScrolledRect(rect), False)
-                elif not self.Debug and connector is not None:
+                elif not self.Debug and connector is not None and not event.ControlDown():
                     self.DrawingWire = True
                     scaled_pos = GetScaledEventPosition(event, dc, self.Scaling)
                     if (connector.GetDirection() == EAST):