1537 self.RefreshVisibleElements() |
1537 self.RefreshVisibleElements() |
1538 else: |
1538 else: |
1539 if not event.Dragging(): |
1539 if not event.Dragging(): |
1540 highlighted = self.FindElement(pos) |
1540 highlighted = self.FindElement(pos) |
1541 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
1541 if self.HighlightedElement is not None and self.HighlightedElement != highlighted: |
|
1542 if isinstance(self.HighlightedElement, Wire): |
|
1543 self.HighlightedElement.ClearToolTip() |
1542 self.HighlightedElement.SetHighlighted(False) |
1544 self.HighlightedElement.SetHighlighted(False) |
1543 self.HighlightedElement = None |
1545 self.HighlightedElement = None |
1544 if highlighted is not None and self.HighlightedElement != highlighted: |
1546 if highlighted is not None and self.HighlightedElement != highlighted: |
|
1547 if isinstance(highlighted, Wire): |
|
1548 pos = self.ClientToScreen(event.GetPosition()) |
|
1549 pos.x += 10 |
|
1550 pos.y += 10 |
|
1551 highlighted.CreateToolTip(pos) |
1545 highlighted.SetHighlighted(True) |
1552 highlighted.SetHighlighted(True) |
1546 self.HighlightedElement = highlighted |
1553 self.HighlightedElement = highlighted |
1547 if self.rubberBand.IsShown(): |
1554 if self.rubberBand.IsShown(): |
1548 self.rubberBand.OnMotion(event, dc, self.Scaling) |
1555 self.rubberBand.OnMotion(event, dc, self.Scaling) |
1549 elif not self.Debug and self.Mode == MODE_SELECTION and self.SelectedElement is not None: |
1556 elif not self.Debug and self.Mode == MODE_SELECTION and self.SelectedElement is not None: |
1564 |
1571 |
1565 def OnLeaveViewer(self, event): |
1572 def OnLeaveViewer(self, event): |
1566 if self.SelectedElement is not None and self.SelectedElement.GetDragging(): |
1573 if self.SelectedElement is not None and self.SelectedElement.GetDragging(): |
1567 event.Skip() |
1574 event.Skip() |
1568 elif self.HighlightedElement is not None: |
1575 elif self.HighlightedElement is not None: |
|
1576 if isinstance(self.HighlightedElement, Wire): |
|
1577 self.HighlightedElement.ClearToolTip() |
1569 self.HighlightedElement.SetHighlighted(False) |
1578 self.HighlightedElement.SetHighlighted(False) |
1570 self.HighlightedElement = None |
1579 self.HighlightedElement = None |
1571 event.Skip() |
1580 event.Skip() |
1572 |
1581 |
1573 def UpdateScrollPos(self, event): |
1582 def UpdateScrollPos(self, event): |