editors/Viewer.py
changeset 1225 ed8a89171a6c
parent 1224 30e72bc7d21b
child 1226 93e7a8abce5e
--- a/editors/Viewer.py	Wed Jun 05 23:21:26 2013 +0200
+++ b/editors/Viewer.py	Wed Jun 05 23:23:29 2013 +0200
@@ -1997,7 +1997,7 @@
                     self.HighlightedElement.SetHighlighted(False)
                     self.HighlightedElement = None
                 if highlighted is not None:
-                    if isinstance(highlighted, (Wire, Graphic_Group)):
+                    if not self.Debug and isinstance(highlighted, (Wire, Graphic_Group)):
                         highlighted.HighlightPoint(pos)
                     if self.HighlightedElement != highlighted:
                         highlighted.SetHighlighted(True)
@@ -2013,7 +2013,7 @@
                         self.SelectedElement.GeneratePoints()
                         if movex != 0 or movey != 0:
                             self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False)
-                    else:
+                    elif not self.Debug:
                         self.SelectedElement.HighlightPoint(pos)
                 else:
                     movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling)