aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2017-01-02 11:04:34 -0500
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2017-01-02 11:04:34 -0500
commit4e1f94952d1f8b861e52decddcadbbdc4f83d32f (patch)
tree2163b0540c6d0c48755abdf110c07de1d4e3a58f
parentb6ef142f8950b1b5271b68f18ec44f38f88b5851 (diff)
Add 'placeholder' attribute for textareas
-rw-r--r--lib/ur/basis.urs4
-rw-r--r--tests/textarea_placeholder.ur12
-rw-r--r--tests/textarea_placeholder.urs1
3 files changed, 15 insertions, 2 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 82d8f6e4..23896e27 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -982,7 +982,7 @@ val hidden : formTag string [] [Data = data_attr, Id = string, Value = string]
val textbox : formTag string [] ([Value = string, Size = int, Placeholder = string, Source = source string, Onchange = transaction unit,
Ontext = transaction unit] ++ boxAttrs ++ inputAttrs)
val password : formTag string [] ([Value = string, Size = int, Placeholder = string, Onchange = transaction unit] ++ boxAttrs ++ inputAttrs)
-val textarea : formTag string [] ([Rows = int, Cols = int, Onchange = transaction unit,
+val textarea : formTag string [] ([Rows = int, Cols = int, Placeholder = string, Onchange = transaction unit,
Ontext = transaction unit] ++ boxAttrs ++ inputAttrs)
val checkbox : formTag bool [] ([Checked = bool, Onchange = transaction unit] ++ boxAttrs)
@@ -1092,7 +1092,7 @@ val ccheckbox : cformTag ([Size = int, Source = source bool, Onchange = transact
val cselect : cformTag ([Source = source string, Onchange = transaction unit] ++ boxAttrs) [Cselect]
val coption : unit -> tag [Value = string, Selected = bool] [Cselect, Body] [] [] []
-val ctextarea : cformTag ([Rows = int, Cols = int, Source = source string, Onchange = transaction unit,
+val ctextarea : cformTag ([Rows = int, Cols = int, Placeholder = string, Source = source string, Onchange = transaction unit,
Ontext = transaction unit] ++ boxAttrs ++ inputAttrs) []
(*** Tables *)
diff --git a/tests/textarea_placeholder.ur b/tests/textarea_placeholder.ur
new file mode 100644
index 00000000..b328f838
--- /dev/null
+++ b/tests/textarea_placeholder.ur
@@ -0,0 +1,12 @@
+fun lame _ = return <xml/>
+
+fun main () =
+ s <- source "";
+ return <xml><body>
+ <form>
+ <textarea{#Text} placeholder="Type something here."/>
+ <submit action={lame}/>
+ </form>
+
+ <ctextarea source={s} placeholder="Absolutely don't type something here."/>
+ </body></xml>
diff --git a/tests/textarea_placeholder.urs b/tests/textarea_placeholder.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/textarea_placeholder.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page