Mercurial > urweb

comparison lib/ur/basis.urs @ 1559:df6a7a22760a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1558:6fe6bda2b928 1559:df6a7a22760a
868 val onKeypress : (int -> transaction unit) -> transaction unit 868 val onKeypress : (int -> transaction unit) -> transaction unit
869 val onKeyup : (int -> transaction unit) -> transaction unit 869 val onKeyup : (int -> transaction unit) -> transaction unit
870 val onMousedown : transaction unit -> transaction unit 870 val onMousedown : transaction unit -> transaction unit
871 val onMouseup : transaction unit -> transaction unit 871 val onMouseup : transaction unit -> transaction unit
872 872
873 (* Prevents default handling of current event *)
874 val preventDefault : transaction unit
875 (* Stops propagation of current event *)
876 val stopPropagation : transaction unit
877
873 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind) 878 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
874 879
875 880
876 (** Tasks *) 881 (** Tasks *)
877 882