src/pyams_content/reference/pictograms/zmi/manager.py
changeset 1045 ed4ce8ff68ba
parent 1035 857fdb137d14
child 1429 9b93fdd5ba30
equal deleted inserted replaced
1044:f59a33bc8f1a 1045:ed4ce8ff68ba
   102     @property
   102     @property
   103     def available_pictograms(self):
   103     def available_pictograms(self):
   104         manager = self.pictogram_manager
   104         manager = self.pictogram_manager
   105         if manager is not None:
   105         if manager is not None:
   106             for pictogram in self.sorted_pictograms:
   106             for pictogram in self.sorted_pictograms:
   107                 if pictogram.__name__ not in manager.selected_pictograms:
   107                 if pictogram.__name__ not in (manager.selected_pictograms or ()):
   108                     yield pictogram
   108                     yield pictogram
   109 
   109 
   110     @property
   110     @property
   111     def selected_pictograms(self):
   111     def selected_pictograms(self):
   112         manager = self.pictogram_manager
   112         manager = self.pictogram_manager