adamc@1007: open Meta
adamc@1007: 
adamc@1007: val title = string "Title"
adamc@1007: val abstract = textarea "Abstract"
adamc@1029: val commentsForAuthors = textarea "Comments for Authors"
adamc@1011: 
adamc@1011: fun charIn s =
adamc@1011:     if String.length s = 0 then
adamc@1011:         error <xml>Impossible: Empty option value</xml>
adamc@1011:     else
adamc@1011:         String.sub s 0
adamc@1011: 
adamc@1011: con dropdown = (char, string)
adamc@1011: fun dropdown name opts = {Nam = name,
adamc@1011:                           Show = txt,
adamc@1011:                           Widget = fn [nm :: Name] => <xml><select{nm}>
adamc@1011:                             {List.mapX (fn x => <xml><option>{[x]}</option></xml>) opts}
adamc@1011:                           </select></xml>,
adamc@1011:                           WidgetPopulated = fn [nm :: Name] v => <xml><select{nm}>
adamc@1011:                             {List.mapX (fn x => <xml><option selected={x = v}>{[x]}</option></xml>) opts}
adamc@1011:                           </select></xml>,
adamc@1011:                           Parse = charIn,
adamc@1011:                           Inject = _}
adamc@1011: 
adamc@1032: val dropdown_show = _