diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-12 11:02:20 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-12 11:02:20 -0500 |
| commit | 84e471e64566698a5489810836b6ec80824d3e46 (patch) | |
| tree | ab722581146ac2de00f49743a319f6b3ccf35a6e /lib/ur/basis.urs | |
| parent | 5b89513c103be2bde3048d8310469e4a0a7d5d1d (diff) | |
Checked-ness of radio options; Option.get
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 0347febc..545e65aa 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -680,7 +680,7 @@ val blobSize : blob -> int con radio = [Body, Radio] val radio : formTag string radio [Id = string] -val radioOption : unit -> tag ([Value = string] ++ boxAttrs) radio [] [] [] +val radioOption : unit -> tag ([Value = string, Checked = bool] ++ boxAttrs) radio [] [] [] con select = [Select] val select : formTag string select ([Onchange = transaction unit] ++ boxAttrs) |