diff -r 30e72bc7d21b -r ed8a89171a6c editors/Viewer.py --- 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)