diff options
author | Adam Chlipala <adam@chlipala.net> | 2018-06-04 11:51:00 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2018-06-04 11:51:00 -0400 |
commit | e626ef35ebd7d79a820ead03a8d30d5ee090671c (patch) | |
tree | 1f1a2129eff0d6e99f18ec96707720ce30d411ef /src | |
parent | c68da19be2a3fab584973c4a9d0a93035a6d9116 (diff) | |
parent | 71dab68defc48d9be9d1e45e63925d0fb01ebb34 (diff) |
Merge branch 'master' of ssh://github.com/urweb/urweb
Diffstat (limited to 'src')
-rw-r--r-- | src/css.sml | 1 | ||||
-rw-r--r-- | src/monoize.sml | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/css.sml b/src/css.sml index 9e50686f..17ec01d5 100644 --- a/src/css.sml +++ b/src/css.sml @@ -104,6 +104,7 @@ val tags = [("span", inline), ("cpassword", replaced), ("button", replaced), ("ccheckbox", replaced), + ("cradio", replaced), ("cselect", replaced), ("ctextarea", replaced), ("tabl", table), diff --git a/src/monoize.sml b/src/monoize.sml index 85a66e87..11c6ea31 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3070,7 +3070,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | _ => (attrs, NONE) - val dynamics = ["dyn", "ctextbox", "cpassword", "ccheckbox", "cselect", "coption", "ctextarea", "active", "script", "cemail", "csearch", "curl", "ctel", "ccolor"] + val dynamics = ["dyn", "ctextbox", "cpassword", "ccheckbox", "cradio", "cselect", "coption", "ctextarea", "active", "script", "cemail", "csearch", "curl", "ctel", "ccolor"] fun isSome (e, _) = case e of @@ -3560,6 +3560,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) = | "ctime" => cinput ("time", "time") | "ccheckbox" => cinput ("checkbox", "chk") + | "cradio" => cinput ("radio", "crad") + | "cselect" => (case List.find (fn ("Source", _, _) => true | _ => false) attrs of NONE => |