def select(self, options={}, selected=None, **attributes):
        a = ["<select%s>\n" % self._attrs(**attributes)]
        for k, v in sorted(options.items()):
            if k == selected:
                a.append("\t<option value=\"%s\" selected>%s</option>\n" % (k, v))
            else:
                a.append("\t<option value=\"%s\">%s</option>\n" % (k, v))
        a.append("</select>\n")
        return "".join(a)
Returns a string with a HTML <select> for the given dictionary,
dataset/ETHPy150Open clips/pattern/pattern/server/__init__.py/HTML.select