changeset 431 | c1c92d068ac5 |
parent 426 | afe2488a4635 |
child 510 | e7327ea490b4 |
--- a/LDViewer.py Mon Sep 21 12:06:51 2009 +0200 +++ b/LDViewer.py Tue Sep 22 09:56:02 2009 +0200 @@ -181,8 +181,8 @@ self.RungComments = [] Viewer.ResetView(self) - def RefreshView(self): - Viewer.RefreshView(self) + def RefreshView(self, selection=None): + Viewer.RefreshView(self, selection) for i, rung in enumerate(self.Rungs): bbox = rung.GetBoundingBox() if i < len(self.RungComments):