Mercurial > urweb

view demo/more/select.ur @ 1260:25ebd8c4fafb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically
author Adam Chlipala <adamc@hcoop.net>
date Sat, 22 May 2010 14:09:06 -0400
parents e46227efcbba
children
line wrap: on
line source
fun selectChar choices current =
    List.mapX (fn (ch, label) =>
                  <xml><option value={String.str ch} selected={current = Some ch}>{[label]}</option></xml>) choices