Mercurial > urweb
diff lib/ur/basis.urs @ 1555:d5c961c709f9
New client-side, document-level event handlers
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sat, 03 Sep 2011 11:48:12 -0400 |
| parents | a99b743a3087 |
| children | e1f5d9c4cc20 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Sep 03 08:57:13 2011 -0400 +++ b/lib/ur/basis.urs Sat Sep 03 11:48:12 2011 -0400 @@ -858,6 +858,15 @@ val onDisconnect : transaction unit -> transaction unit val onServerError : (string -> transaction unit) -> transaction unit +(* More standard document-level JavaScript handlers *) +val onClick : transaction unit -> transaction unit +val onDblclick : transaction unit -> transaction unit +val onKeydown : (int -> transaction unit) -> transaction unit +val onKeypress : (int -> transaction unit) -> transaction unit +val onKeyup : (int -> transaction unit) -> transaction unit +val onMousedown : transaction unit -> transaction unit +val onMouseup : transaction unit -> transaction unit + val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)