1995 highlighted = self.FindElement(event, connectors=False) |
1995 highlighted = self.FindElement(event, connectors=False) |
1996 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
1996 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
1997 self.HighlightedElement.SetHighlighted(False) |
1997 self.HighlightedElement.SetHighlighted(False) |
1998 self.HighlightedElement = None |
1998 self.HighlightedElement = None |
1999 if highlighted is not None: |
1999 if highlighted is not None: |
2000 if isinstance(highlighted, (Wire, Graphic_Group)): |
2000 if not self.Debug and isinstance(highlighted, (Wire, Graphic_Group)): |
2001 highlighted.HighlightPoint(pos) |
2001 highlighted.HighlightPoint(pos) |
2002 if self.HighlightedElement != highlighted: |
2002 if self.HighlightedElement != highlighted: |
2003 highlighted.SetHighlighted(True) |
2003 highlighted.SetHighlighted(True) |
2004 self.HighlightedElement = highlighted |
2004 self.HighlightedElement = highlighted |
2005 if self.rubberBand.IsShown(): |
2005 if self.rubberBand.IsShown(): |
2011 self.SelectedElement.ResetPoints() |
2011 self.SelectedElement.ResetPoints() |
2012 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
2012 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
2013 self.SelectedElement.GeneratePoints() |
2013 self.SelectedElement.GeneratePoints() |
2014 if movex != 0 or movey != 0: |
2014 if movex != 0 or movey != 0: |
2015 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
2015 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
2016 else: |
2016 elif not self.Debug: |
2017 self.SelectedElement.HighlightPoint(pos) |
2017 self.SelectedElement.HighlightPoint(pos) |
2018 else: |
2018 else: |
2019 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
2019 movex, movey = self.SelectedElement.OnMotion(event, dc, self.Scaling) |
2020 if movex != 0 or movey != 0: |
2020 if movex != 0 or movey != 0: |
2021 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |
2021 self.RefreshRect(self.GetScrolledRect(self.SelectedElement.GetRedrawRect(movex, movey)), False) |