comparison 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
comparison
equal deleted inserted replaced
2079:e1879ded8095 2080:f05fcb206571
1075 } 1075 }
1076 1076
1077 function color(s, name) { 1077 function color(s, name) {
1078 return inpt("color", s, name); 1078 return inpt("color", s, name);
1079 } 1079 }
1080
1081 function number(s, name) {
1082 return inpt("number", s, name);
1083 }
1084
1085 function range(s, name) {
1086 return inpt("range", s, name);
1087 }
1088
1089 function date(s, name) {
1090 return inpt("date", s, name);
1091 }
1092
1093 function datetime(s, name) {
1094 return inpt("datetime", s, name);
1095 }
1096
1097 function datetime_local(s, name) {
1098 return inpt("datetime-local", s, name);
1099 }
1100
1101 function month(s, name) {
1102 return inpt("month", s, name);
1103 }
1104
1105 function week(s, name) {
1106 return inpt("week", s, name);
1107 }
1108
1109 function time(s, name) {
1110 return inpt("time", s, name);
1111 }
1112
1080 1113
1081 function selectValue(x) { 1114 function selectValue(x) {
1082 if (x.options.length == 0) 1115 if (x.options.length == 0)
1083 return ""; 1116 return "";
1084 else 1117 else