changeset 9377 | 4e0d8f06efbc |
parent 9255 | 46f41c3e1443 |
child 9700 | da7d341cca76 |
child 9716 | c44224387028 |
--- a/web/formwidgets.py Thu Aug 01 09:39:43 2013 +0200 +++ b/web/formwidgets.py Wed Jan 08 14:00:31 2014 +0100 @@ -515,7 +515,8 @@ name=field.dom_id(form), type="hidden")) else: - options.append(tags.option(label, value=value)) + if value not in values: + options.append(tags.option(label, value=value)) if 'size' not in attrs: attrs['size'] = self.default_size if 'id' in attrs :