diff tests/html5_forms.ur @ 2078:6d126af2e1cb

Some more HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:39:38 -0500
parents 3cd2bd4b1de0
children
line wrap: on
line diff
--- a/tests/html5_forms.ur	Sun Nov 16 14:16:11 2014 -0500
+++ b/tests/html5_forms.ur	Sun Nov 16 14:39:38 2014 -0500
@@ -6,6 +6,15 @@
   E: {[r.E]}<br/>
   F: {[r.F]}<br/>
   G: {[r.G]}<br/>
+  H: {[r.H]}<br/>
+  I: {[r.I]}<br/>
+  J: {[r.J]}<br/>
+  K: {[r.K]}<br/>
+  L: {[r.L]}<br/>
+  M: {[r.M]}<br/>
+  N: {[r.N]}<br/>
+  O: {[r.O]}<br/>
+  P: {[r.P]}<br/>
 </body></xml>
 
 fun main () =
@@ -19,6 +28,18 @@
         <tel{#F}/>
         <search{#G}/>
 
+        <hr/>
+
+        <color{#H}/>
+        <number{#I} min={17.0} max={32.8} value={20.6} step={2.5}/>
+        <range{#J} min={17.0} max={32.8} value={20.6}/>
+        <date{#K}/>
+        <datetime{#L}/>
+        <datetime-local{#M}/>
+        <month{#N}/>
+        <week{#O}/>
+        <timeInput{#P}/>
+
         <submit action={handler}/>
       </form>
     </body></xml>