summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 15:20:13 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 15:20:13 -0500
commitf3e50f123c33c26038b601475eeaa619526ad7ab (patch)
tree2567582a726c1f617647ebd0bae71b1db2a454b5 /lib
parent049d3500132b56ac2429a8a6ee0cc5ba1fbaae5a (diff)
More HTML5 AJAX widgets
Diffstat (limited to 'lib')
-rw-r--r--lib/js/urweb.js33
-rw-r--r--lib/ur/basis.urs9
2 files changed, 42 insertions, 0 deletions
diff --git a/lib/js/urweb.js b/lib/js/urweb.js
index c62670e7..342dc943 100644
--- a/lib/js/urweb.js
+++ b/lib/js/urweb.js
@@ -1078,6 +1078,39 @@ function color(s, name) {
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 "";
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 1ee5be50..326563d6 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -1047,6 +1047,15 @@ val curl : ctext
val ctel : ctext
val ccolor : ctext
+val cnumber : cformTag ([Source = source float, Value = float, Min = float, Max = float, Step = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val crange : cformTag ([Source = source float, Value = float, Min = float, Max = float, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val cdate : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val cdatetime : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val cdatetime_local : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val cmonth : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val cweek : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+val ctime : cformTag ([Source = source string, Value = string, Min = string, Max = string, Size = int, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []
+
val button : cformTag ([Value = string] ++ boxAttrs) []
val ccheckbox : cformTag ([Value = bool, Size = int, Source = source bool, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs) []