1657 # Mouse event functions |
1657 # Mouse event functions |
1658 #------------------------------------------------------------------------------- |
1658 #------------------------------------------------------------------------------- |
1659 |
1659 |
1660 def OnViewerMouseEvent(self, event): |
1660 def OnViewerMouseEvent(self, event): |
1661 self.ResetBuffer() |
1661 self.ResetBuffer() |
1662 if self.ToolTipElement is not None: |
1662 if event.Leaving() and self.ToolTipElement is not None: |
1663 self.ToolTipElement.DestroyToolTip() |
1663 self.ToolTipElement.DestroyToolTip() |
1664 if (not event.Entering() and |
1664 elif (not event.Entering() and |
1665 gettime() - self.LastToolTipCheckTime > REFRESH_PERIOD): |
1665 gettime() - self.LastToolTipCheckTime > REFRESH_PERIOD): |
1666 self.LastToolTipCheckTime = gettime() |
1666 self.LastToolTipCheckTime = gettime() |
1667 element = None |
1667 element = None |
1668 if not event.Leaving() and not event.LeftUp() and not event.LeftDClick(): |
1668 if not event.Leaving() and not event.LeftUp() and not event.LeftDClick(): |
1669 dc = self.GetLogicalDC() |
1669 dc = self.GetLogicalDC() |
1670 pos = event.GetLogicalPosition(dc) |
1670 pos = event.GetLogicalPosition(dc) |
1671 element = self.FindBlockConnector(pos) |
1671 element = self.FindBlockConnector(pos) |
1672 if element is None or len(element.GetWires()) > 0: |
1672 if element is None or len(element.GetWires()) > 0: |
1673 element = self.FindElement(event, True, False) |
1673 element = self.FindElement(event, True, False) |
|
1674 if self.ToolTipElement is not None: |
|
1675 self.ToolTipElement.DestroyToolTip() |
1674 self.ToolTipElement = element |
1676 self.ToolTipElement = element |
1675 if self.ToolTipElement is not None: |
1677 if self.ToolTipElement is not None: |
1676 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition()) |
1678 tooltip_pos = self.Editor.ClientToScreen(event.GetPosition()) |
1677 tooltip_pos.x += 10 |
1679 tooltip_pos.x += 10 |
1678 tooltip_pos.y += 10 |
1680 tooltip_pos.y += 10 |