equal
deleted
inserted
replaced
1808 self.VariablesGrid.RefreshButtons() |
1808 self.VariablesGrid.RefreshButtons() |
1809 |
1809 |
1810 self.Thaw() |
1810 self.Thaw() |
1811 |
1811 |
1812 def UnregisterObsoleteData(self): |
1812 def UnregisterObsoleteData(self): |
|
1813 self.RegisterVariables() |
1813 if USE_MPL: |
1814 if USE_MPL: |
1814 if self.DataProducer is not None: |
1815 if self.DataProducer is not None: |
1815 self.Ticktime = self.DataProducer.GetTicktime() |
1816 self.Ticktime = self.DataProducer.GetTicktime() |
1816 self.RefreshCanvasRange() |
1817 self.RefreshCanvasRange() |
1817 |
1818 |