diff lib/js/urweb.js @ 2080:f05fcb206571

More HTML5 AJAX widgets
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 15:20:13 -0500
parents e1879ded8095
children 9272476e2a1c
line wrap: on
line diff
--- a/lib/js/urweb.js	Sun Nov 16 15:03:29 2014 -0500
+++ b/lib/js/urweb.js	Sun Nov 16 15:20:13 2014 -0500
@@ -1078,6 +1078,39 @@
     return inpt("color", s, name);
 }
 
+function number(s, name) {
+    return inpt("number", s, name);
+}
+
+function range(s, name) {
+    return inpt("range", s, name);
+}
+
+function date(s, name) {
+    return inpt("date", s, name);
+}
+
+function datetime(s, name) {
+    return inpt("datetime", s, name);
+}
+
+function datetime_local(s, name) {
+    return inpt("datetime-local", s, name);
+}
+
+function month(s, name) {
+    return inpt("month", s, name);
+}
+
+function week(s, name) {
+    return inpt("week", s, name);
+}
+
+function time(s, name) {
+    return inpt("time", s, name);
+}
+
+
 function selectValue(x) {
     if (x.options.length == 0)
         return "";