adamc@1023: fun selectChar choices current =
adamc@1023:     List.mapX (fn (ch, label) =>
adamc@1023:                   <xml><option value={String.str ch} selected={current = Some ch}>{[label]}</option></xml>) choices