diff -r 388a00b05b6b -r 87e5015330ae Viewer.py --- 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()