Viewer.py
changeset 375 65ccc896b115
parent 372 8cab11dd2325
child 380 9ca678ee827f
child 415 d3d8f8f0b678
equal deleted inserted replaced
374:16a0a6cb1644 375:65ccc896b115
   658 
   658 
   659     def RefreshNewData(self):
   659     def RefreshNewData(self):
   660         if self.NewDataRefreshRect is not None:
   660         if self.NewDataRefreshRect is not None:
   661             refresh_rect, self.NewDataRefreshRect = self.NewDataRefreshRect, None
   661             refresh_rect, self.NewDataRefreshRect = self.NewDataRefreshRect, None
   662             self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
   662             self.RefreshRect(self.GetScrolledRect(refresh_rect), False)
       
   663         else:
       
   664             DebugViewer.RefreshNewData(self)
   663         
   665         
   664     def ResetBuffer(self):
   666     def ResetBuffer(self):
   665         pass
   667         pass
   666 
   668 
   667     # Refresh Viewer elements
   669     # Refresh Viewer elements