--- 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()