Viewer.py
changeset 625 b7062a7018ec
parent 621 084a21799803
child 633 3536f4469cde
--- 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()