Mercurial > urweb

comparison lib/ur/basis.urs @ 1555:d5c961c709f9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1554:396e8d881205 1555:d5c961c709f9
856 val onFail : (string -> transaction unit) -> transaction unit 856 val onFail : (string -> transaction unit) -> transaction unit
857 val onConnectFail : transaction unit -> transaction unit 857 val onConnectFail : transaction unit -> transaction unit
858 val onDisconnect : transaction unit -> transaction unit 858 val onDisconnect : transaction unit -> transaction unit
859 val onServerError : (string -> transaction unit) -> transaction unit 859 val onServerError : (string -> transaction unit) -> transaction unit
860 860
861 (* More standard document-level JavaScript handlers *)
862 val onClick : transaction unit -> transaction unit
863 val onDblclick : transaction unit -> transaction unit
864 val onKeydown : (int -> transaction unit) -> transaction unit
865 val onKeypress : (int -> transaction unit) -> transaction unit
866 val onKeyup : (int -> transaction unit) -> transaction unit
867 val onMousedown : transaction unit -> transaction unit
868 val onMouseup : transaction unit -> transaction unit
869
861 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind) 870 val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
862 871
863 872
864 (** Tasks *) 873 (** Tasks *)
865 874