Viewer.py
changeset 375 65ccc896b115
parent 372 8cab11dd2325
child 380 9ca678ee827f
child 415 d3d8f8f0b678
--- a/Viewer.py	Wed Jun 10 15:50:31 2009 +0200
+++ b/Viewer.py	Thu Jun 11 08:52:59 2009 +0200
@@ -660,6 +660,8 @@
         if self.NewDataRefreshRect is not None:
             refresh_rect, self.NewDataRefreshRect = self.NewDataRefreshRect, None
             self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
+        else:
+            DebugViewer.RefreshNewData(self)
         
     def ResetBuffer(self):
         pass