summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-09-11 14:14:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-09-11 14:14:49 -0400
commit027e8d90fdd3f74698ed40974294fd053a70cd20 (patch)
tree83bc389429c007e44e18c3d6eba6077a7148bf77 /lib/ur
parentb6ad8fe5b4adacea14831171734f954969a72e23 (diff)
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 6657034f..03b4d4d1 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -870,6 +870,11 @@ val onKeyup : (int -> transaction unit) -> transaction unit
val onMousedown : transaction unit -> transaction unit
val onMouseup : transaction unit -> transaction unit
+(* Prevents default handling of current event *)
+val preventDefault : transaction unit
+(* Stops propagation of current event *)
+val stopPropagation : transaction unit
+
val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)