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