+function dom_select_deck($cur_sel)
+{
+ GLOBAL $G_lang;
+
+ $ret = "<select id='select_deck'>\n";
+ foreach (deck_keys() as $key) {
+ $value = deck_id2descr($key, $G_lang);
+ $ret .= sprintf("<option value='%s'%s>%s</option>\n", $key, ($key == $cur_sel ? " selected='selected'" : ""), $value);
+ }
+ $ret .= "</select>\n";
+
+ echo "$ret";
+}
+