1664 self.Scroll(scrollx, scrolly) |
1664 self.Scroll(scrollx, scrolly) |
1665 self.RefreshScrollBars() |
1665 self.RefreshScrollBars() |
1666 self.RefreshVisibleElements() |
1666 self.RefreshVisibleElements() |
1667 else: |
1667 else: |
1668 if not event.Dragging(): |
1668 if not event.Dragging(): |
1669 if self.Debug: |
1669 highlighted = self.FindElement(event) |
|
1670 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
|
1671 self.HighlightedElement.ClearToolTip() |
|
1672 self.HighlightedElement.SetHighlighted(False) |
|
1673 self.HighlightedElement = None |
|
1674 if highlighted is not None: |
1670 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition()) |
1675 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition()) |
1671 tooltip_pos.x += 10 |
1676 tooltip_pos.x += 10 |
1672 tooltip_pos.y += 10 |
1677 tooltip_pos.y += 10 |
1673 highlighted = self.FindElement(event) |
1678 if self.HighlightedElement != highlighted: |
1674 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
|
1675 if self.Debug and isinstance(self.HighlightedElement, Wire): |
|
1676 self.HighlightedElement.ClearToolTip() |
|
1677 self.HighlightedElement.SetHighlighted(False) |
|
1678 self.HighlightedElement = None |
|
1679 if highlighted is not None and self.HighlightedElement != highlighted: |
|
1680 if self.Debug and isinstance(highlighted, Wire): |
|
1681 highlighted.CreateToolTip(tooltip_pos) |
1679 highlighted.CreateToolTip(tooltip_pos) |
1682 highlighted.SetHighlighted(True) |
1680 highlighted.SetHighlighted(True) |
1683 elif self.Debug and highlighted is not None and isinstance(highlighted, Wire): |
1681 else: |
1684 highlighted.MoveToolTip(tooltip_pos) |
1682 highlighted.MoveToolTip(tooltip_pos) |
1685 self.HighlightedElement = highlighted |
1683 self.HighlightedElement = highlighted |
1686 if self.rubberBand.IsShown(): |
1684 if self.rubberBand.IsShown(): |
1687 self.rubberBand.OnMotion(event, dc, self.Scaling) |
1685 self.rubberBand.OnMotion(event, dc, self.Scaling) |
1688 elif not self.Debug and self.Mode == MODE_SELECTION and self.SelectedElement is not None: |
1686 elif not self.Debug and self.Mode == MODE_SELECTION and self.SelectedElement is not None: |
1689 if self.DrawingWire: |
1687 if self.DrawingWire: |
1720 if self.StartScreenPos is None: |
1718 if self.StartScreenPos is None: |
1721 self.StartMousePos = None |
1719 self.StartMousePos = None |
1722 if self.SelectedElement is not None and self.SelectedElement.GetDragging(): |
1720 if self.SelectedElement is not None and self.SelectedElement.GetDragging(): |
1723 event.Skip() |
1721 event.Skip() |
1724 elif self.HighlightedElement is not None: |
1722 elif self.HighlightedElement is not None: |
1725 if isinstance(self.HighlightedElement, Wire): |
1723 self.HighlightedElement.ClearToolTip() |
1726 self.HighlightedElement.ClearToolTip() |
|
1727 self.HighlightedElement.SetHighlighted(False) |
1724 self.HighlightedElement.SetHighlighted(False) |
1728 self.HighlightedElement = None |
1725 self.HighlightedElement = None |
1729 event.Skip() |
1726 event.Skip() |
1730 |
1727 |
1731 def UpdateScrollPos(self, event): |
1728 def UpdateScrollPos(self, event): |