web/formwidgets.py
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 :