changeset 1271 | 757b83fd2173 |
parent 1266 | 4282f62c1cf0 |
child 1362 | 077bcba2d485 |
--- a/controls/DebugVariablePanel/DebugVariableGraphicPanel.py Wed Jun 26 16:56:34 2013 +0200 +++ b/controls/DebugVariablePanel/DebugVariableGraphicPanel.py Wed Jun 26 17:53:45 2013 +0200 @@ -584,6 +584,8 @@ if self.DataProducer is not None: self.SetTickTime(self.DataProducer.GetTicktime()) + self.ResetCursorTick() + for panel in self.GraphicPanels[:]: panel.SubscribeAllDataConsumers() if panel.ItemsIsEmpty():