524
572
if datasource is not None:
526
576
# Set the selection range on the datasource
530
580
# Set the selection mask on the datasource
533
583
for index in range(len(selection_masks)):
534
584
if id(selection_masks[index]) == id(self._selection_mask):
535
585
del selection_masks[index]
540
593
data_pts = datasource.get_data()
541
594
new_mask = (data_pts>=low) & (data_pts<=high)
542
595
selection_masks.append(new_mask)
543
596
self._selection_mask = new_mask
546
599
self.trait_property_changed("selection", oldval, val)