equal
deleted
inserted
replaced
43 cursor_color = '#800080' |
43 cursor_color = '#800080' |
44 USE_MPL = True |
44 USE_MPL = True |
45 except: |
45 except: |
46 USE_MPL = False |
46 USE_MPL = False |
47 |
47 |
48 from graphics import DebugDataConsumer, DebugViewer, REFRESH_PERIOD |
48 from graphics.DebugDataConsumer import DebugDataConsumer |
|
49 from editors.DebugViewer import DebugViewer, REFRESH_PERIOD |
49 from controls import CustomGrid, CustomTable |
50 from controls import CustomGrid, CustomTable |
50 from dialogs.ForceVariableDialog import ForceVariableDialog |
51 from dialogs.ForceVariableDialog import ForceVariableDialog |
51 from util.BitmapLibrary import GetBitmap |
52 from util.BitmapLibrary import GetBitmap |
52 |
53 |
53 def AppendMenu(parent, help, id, kind, text): |
54 def AppendMenu(parent, help, id, kind, text): |
1835 self.VariablesGrid.RefreshButtons() |
1836 self.VariablesGrid.RefreshButtons() |
1836 |
1837 |
1837 self.Thaw() |
1838 self.Thaw() |
1838 |
1839 |
1839 def UnregisterObsoleteData(self): |
1840 def UnregisterObsoleteData(self): |
1840 self.RegisterVariables() |
1841 self.SubscribeAllDataConsumers() |
1841 if USE_MPL: |
1842 if USE_MPL: |
1842 if self.DataProducer is not None: |
1843 if self.DataProducer is not None: |
1843 self.Ticktime = self.DataProducer.GetTicktime() |
1844 self.Ticktime = self.DataProducer.GetTicktime() |
1844 self.RefreshCanvasRange() |
1845 self.RefreshCanvasRange() |
1845 |
1846 |
1870 self.Table.ResetView(self.VariablesGrid) |
1871 self.Table.ResetView(self.VariablesGrid) |
1871 self.VariablesGrid.RefreshButtons() |
1872 self.VariablesGrid.RefreshButtons() |
1872 self.Thaw() |
1873 self.Thaw() |
1873 |
1874 |
1874 def ResetView(self): |
1875 def ResetView(self): |
1875 self.DeleteDataConsumers() |
1876 self.UnsubscribeAllDataConsumers() |
1876 if USE_MPL: |
1877 if USE_MPL: |
1877 self.Fixed = False |
1878 self.Fixed = False |
1878 for panel in self.GraphicPanels: |
1879 for panel in self.GraphicPanels: |
1879 panel.Destroy() |
1880 panel.Destroy() |
1880 self.GraphicPanels = [] |
1881 self.GraphicPanels = [] |