--- a/Viewer.py Tue Mar 24 17:31:11 2009 +0100
+++ b/Viewer.py Tue Mar 24 17:31:42 2009 +0100
@@ -1539,9 +1539,16 @@
if not event.Dragging():
highlighted = self.FindElement(pos)
if self.HighlightedElement is not None and self.HighlightedElement != highlighted:
+ if isinstance(self.HighlightedElement, Wire):
+ self.HighlightedElement.ClearToolTip()
self.HighlightedElement.SetHighlighted(False)
self.HighlightedElement = None
if highlighted is not None and self.HighlightedElement != highlighted:
+ if isinstance(highlighted, Wire):
+ pos = self.ClientToScreen(event.GetPosition())
+ pos.x += 10
+ pos.y += 10
+ highlighted.CreateToolTip(pos)
highlighted.SetHighlighted(True)
self.HighlightedElement = highlighted
if self.rubberBand.IsShown():
@@ -1566,6 +1573,8 @@
if self.SelectedElement is not None and self.SelectedElement.GetDragging():
event.Skip()
elif self.HighlightedElement is not None:
+ if isinstance(self.HighlightedElement, Wire):
+ self.HighlightedElement.ClearToolTip()
self.HighlightedElement.SetHighlighted(False)
self.HighlightedElement = None
event.Skip()