LDViewer.py
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):