Viewer.py
changeset 338 87e5015330ae
parent 332 555124c752ec
child 343 dc8ff76b39fd
--- 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()