equal
deleted
inserted
replaced
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 |