equal
deleted
inserted
replaced
582 |
582 |
583 if self.DataProducer is not None: |
583 if self.DataProducer is not None: |
584 if self.DataProducer is not None: |
584 if self.DataProducer is not None: |
585 self.SetTickTime(self.DataProducer.GetTicktime()) |
585 self.SetTickTime(self.DataProducer.GetTicktime()) |
586 |
586 |
|
587 self.ResetCursorTick() |
|
588 |
587 for panel in self.GraphicPanels[:]: |
589 for panel in self.GraphicPanels[:]: |
588 panel.SubscribeAllDataConsumers() |
590 panel.SubscribeAllDataConsumers() |
589 if panel.ItemsIsEmpty(): |
591 if panel.ItemsIsEmpty(): |
590 if panel.HasCapture(): |
592 if panel.HasCapture(): |
591 panel.ReleaseMouse() |
593 panel.ReleaseMouse() |