Mercurial > urweb

diff src/monoize.sml @ 2077:3cd2bd4b1de0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More simple textual HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:16:11 -0500
parents e48e09a1f583
children 6d126af2e1cb
line wrap: on
line diff
--- a/src/monoize.sml	Sun Nov 16 14:06:24 2014 -0500
+++ b/src/monoize.sml	Sun Nov 16 14:16:11 2014 -0500
@@ -3664,6 +3664,9 @@
                                    raise Fail "No name passed to textbox tag"))
                       | "password" => input "password"
                       | "email" => input "email"
+                      | "search" => input "search"
+                      | "url_" => input "url"
+                      | "tel" => input "tel"
                       | "textarea" =>
 			(case targs of
                              [_, (L.CName name, _)] =>