equal
deleted
inserted
replaced
517 @property |
517 @property |
518 def wdgclass(self): |
518 def wdgclass(self): |
519 return FacetRangeWidget |
519 return FacetRangeWidget |
520 |
520 |
521 def get_widget(self): |
521 def get_widget(self): |
522 """return the widget instance to use to display this facet |
522 """return the widget instance to use to display this facet""" |
523 """ |
|
524 values = set(value for _, value in self.vocabulary() if value is not None) |
523 values = set(value for _, value in self.vocabulary() if value is not None) |
525 return self.wdgclass(self, min(values), max(values)) |
524 return self.wdgclass(self, min(values), max(values)) |
526 |
525 |
527 def infvalue(self): |
526 def infvalue(self): |
528 return self._cw.form.get('%s_inf' % self.__regid__) |
527 return self._cw.form.get('%s_inf' % self.__regid__) |