diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-09-11 14:14:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-09-11 14:14:49 -0400 |
| commit | 027e8d90fdd3f74698ed40974294fd053a70cd20 (patch) | |
| tree | 83bc389429c007e44e18c3d6eba6077a7148bf77 /lib/ur/basis.urs | |
| parent | b6ad8fe5b4adacea14831171734f954969a72e23 (diff) | |
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
Diffstat (limited to 'lib/ur/basis.urs')
| -rw-r--r-- | lib/ur/basis.urs | 5 |
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) |