author | lbessard |
Sun, 07 Sep 2008 19:24:43 +0200 | |
changeset 259 | fae941a87cff |
parent 258 | bded3a67ea4b |
child 260 | ad7ced0e5662 |
--- 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: