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