--- a/Viewer.py	Sun Sep 07 19:24:11 2008 +0200
+++ b/Viewer.py	Sun Sep 07 19:24:43 2008 +0200
@@ -1269,6 +1269,7 @@
                     if self.SelectedElement is not None:
                         self.SelectedElement.SetSelected(False)
                     self.SelectedElement = wire
+                    self.RefreshVisibleElements()
                     self.SelectedElement.Refresh()
                 else:
                     if self.SelectedElement is not None and self.SelectedElement != element: