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 for panel in self.GraphicPanels: |
587 for panel in self.GraphicPanels[:]: |
588 panel.SubscribeAllDataConsumers() |
588 panel.SubscribeAllDataConsumers() |
589 if panel.ItemsIsEmpty(): |
589 if panel.ItemsIsEmpty(): |
590 if panel.HasCapture(): |
590 if panel.HasCapture(): |
591 panel.ReleaseMouse() |
591 panel.ReleaseMouse() |
592 self.GraphicPanels.remove(panel) |
592 self.GraphicPanels.remove(panel) |