diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
commit | f3e50f123c33c26038b601475eeaa619526ad7ab (patch) | |
tree | 2567582a726c1f617647ebd0bae71b1db2a454b5 /lib | |
parent | 049d3500132b56ac2429a8a6ee0cc5ba1fbaae5a (diff) |
More HTML5 AJAX widgets
Diffstat (limited to 'lib')
-rw-r--r-- | lib/js/urweb.js | 33 | ||||
-rw-r--r-- | lib/ur/basis.urs | 9 |
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) [] |