aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests
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 /tests
parentb6ef142f8950b1b5271b68f18ec44f38f88b5851 (diff)
Add 'placeholder' attribute for textareas
Diffstat (limited to 'tests')
-rw-r--r--tests/textarea_placeholder.ur12
-rw-r--r--tests/textarea_placeholder.urs1
2 files changed, 13 insertions, 0 deletions
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