equal
deleted
inserted
replaced
4556 return self.Variable |
4556 return self.Variable |
4557 |
4557 |
4558 def SetValue(self, value): |
4558 def SetValue(self, value): |
4559 if self.Value != value: |
4559 if self.Value != value: |
4560 self.Value = value |
4560 self.Value = value |
4561 self.Parent.NewDataAvailable() |
4561 self.Parent.HasNewData = True |
4562 |
4562 |
4563 def GetValue(self): |
4563 def GetValue(self): |
4564 return self.Value |
4564 return self.Value |
4565 |
4565 |
4566 class DebugVariableTable(wx.grid.PyGridTableBase): |
4566 class DebugVariableTable(wx.grid.PyGridTableBase): |
4567 |
4567 |
4789 |
4789 |
4790 def __init__(self, parent, controler): |
4790 def __init__(self, parent, controler): |
4791 self._init_ctrls(parent) |
4791 self._init_ctrls(parent) |
4792 DebugViewer.__init__(self, controler, True) |
4792 DebugViewer.__init__(self, controler, True) |
4793 self.Controler = controler |
4793 self.Controler = controler |
|
4794 self.HasNewData = False |
4794 |
4795 |
4795 self.Table = DebugVariableTable(self, [], ["Variable", "Value"]) |
4796 self.Table = DebugVariableTable(self, [], ["Variable", "Value"]) |
4796 self.VariablesGrid.SetTable(self.Table) |
4797 self.VariablesGrid.SetTable(self.Table) |
4797 self.VariablesGrid.SetRowLabelSize(0) |
4798 self.VariablesGrid.SetRowLabelSize(0) |
4798 |
4799 |
4803 self.VariablesGrid.SetColSize(col, 100) |
4804 self.VariablesGrid.SetColSize(col, 100) |
4804 |
4805 |
4805 self.Table.ResetView(self.VariablesGrid) |
4806 self.Table.ResetView(self.VariablesGrid) |
4806 |
4807 |
4807 def RefreshNewData(self): |
4808 def RefreshNewData(self): |
4808 self.RefreshGrid() |
4809 if self.HasNewData: |
|
4810 self.HasNewData = False |
|
4811 self.RefreshGrid() |
|
4812 DebugViewer.RefreshNewData(self) |
4809 |
4813 |
4810 def RefreshGrid(self): |
4814 def RefreshGrid(self): |
4811 self.Freeze() |
4815 self.Freeze() |
4812 self.Table.ResetView(self.VariablesGrid) |
4816 self.Table.ResetView(self.VariablesGrid) |
4813 self.Thaw() |
4817 self.Thaw() |