changeset 4546 | f8ac61376b2b |
parent 4466 | 8b0ca7904820 |
child 4614 | 95ccd84c892b |
--- a/web/facet.py Wed Feb 10 13:57:29 2010 +0100 +++ b/web/facet.py Wed Feb 10 13:58:11 2010 +0100 @@ -519,8 +519,7 @@ return FacetRangeWidget def get_widget(self): - """return the widget instance to use to display this facet - """ + """return the widget instance to use to display this facet""" values = set(value for _, value in self.vocabulary() if value is not None) return self.wdgclass(self, min(values), max(values))