diff -r efedc9d06a59 -r b7062a7018ec Viewer.py --- a/Viewer.py Thu Jan 12 17:04:22 2012 +0100 +++ b/Viewer.py Tue Jan 17 16:44:00 2012 +0100 @@ -1666,22 +1666,20 @@ self.RefreshVisibleElements() else: if not event.Dragging(): - if self.Debug: + highlighted = self.FindElement(event) + if self.HighlightedElement is not None and self.HighlightedElement != highlighted: + self.HighlightedElement.ClearToolTip() + self.HighlightedElement.SetHighlighted(False) + self.HighlightedElement = None + if highlighted is not None: tooltip_pos = self.Editor.ClientToScreen(event.GetPosition()) tooltip_pos.x += 10 tooltip_pos.y += 10 - highlighted = self.FindElement(event) - if self.HighlightedElement is not None and self.HighlightedElement != highlighted: - if self.Debug and isinstance(self.HighlightedElement, Wire): - self.HighlightedElement.ClearToolTip() - self.HighlightedElement.SetHighlighted(False) - self.HighlightedElement = None - if highlighted is not None and self.HighlightedElement != highlighted: - if self.Debug and isinstance(highlighted, Wire): + if self.HighlightedElement != highlighted: highlighted.CreateToolTip(tooltip_pos) - highlighted.SetHighlighted(True) - elif self.Debug and highlighted is not None and isinstance(highlighted, Wire): - highlighted.MoveToolTip(tooltip_pos) + highlighted.SetHighlighted(True) + else: + highlighted.MoveToolTip(tooltip_pos) self.HighlightedElement = highlighted if self.rubberBand.IsShown(): self.rubberBand.OnMotion(event, dc, self.Scaling) @@ -1722,8 +1720,7 @@ 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.ClearToolTip() self.HighlightedElement.SetHighlighted(False) self.HighlightedElement = None event.Skip()