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