Mercurial > urweb
diff lib/ur/basis.urs @ 1559:df6a7a22760a
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 11 Sep 2011 14:14:49 -0400 |
| parents | 4a13e1b73641 |
| children | 63311c13d9f7 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sun Sep 11 11:37:26 2011 -0400 +++ b/lib/ur/basis.urs Sun Sep 11 14:14:49 2011 -0400 @@ -870,6 +870,11 @@ 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)