Mercurial > urweb
comparison src/monoize.sml @ 2080:f05fcb206571
More HTML5 AJAX widgets
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 16 Nov 2014 15:20:13 -0500 |
parents | e1879ded8095 |
children | 0d48cfb59b29 794017f378de |
comparison
equal
deleted
inserted
replaced
2079:e1879ded8095 | 2080:f05fcb206571 |
---|---|
3755 | "csearch" => cinput ("search", "search") | 3755 | "csearch" => cinput ("search", "search") |
3756 | "curl" => cinput ("url", "url") | 3756 | "curl" => cinput ("url", "url") |
3757 | "ctel" => cinput ("tel", "tel") | 3757 | "ctel" => cinput ("tel", "tel") |
3758 | "ccolor" => cinput ("color", "color") | 3758 | "ccolor" => cinput ("color", "color") |
3759 | 3759 |
3760 | "cnumber" => cinput ("number", "number") | |
3761 | "crange" => cinput ("range", "range") | |
3762 | "cdate" => cinput ("date", "date") | |
3763 | "cdatetime" => cinput ("datetime", "datetime") | |
3764 | "cdatetime_local" => cinput ("datetime-local", "datetime_local") | |
3765 | "cmonth" => cinput ("month", "month") | |
3766 | "cweek" => cinput ("week", "week") | |
3767 | "ctime" => cinput ("time", "time") | |
3768 | |
3760 | "ccheckbox" => cinput ("checkbox", "chk") | 3769 | "ccheckbox" => cinput ("checkbox", "chk") |
3761 | "cselect" => | 3770 | "cselect" => |
3762 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of | 3771 (case List.find (fn ("Source", _, _) => true | _ => false) attrs of |
3763 NONE => | 3772 NONE => |
3764 let | 3773 let |