From 027e8d90fdd3f74698ed40974294fd053a70cd20 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 11 Sep 2011 14:14:49 -0400 Subject: New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) --- doc/manual.tex | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'doc') diff --git a/doc/manual.tex b/doc/manual.tex index e6a96c05..00db43fb 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -1983,6 +1983,13 @@ $$\begin{array}{l} \mt{val} \; \mt{onMouseup} : \mt{transaction} \; \mt{unit} \to \mt{transaction} \; \mt{unit} \end{array}$$ +Versions of standard JavaScript functions are provided that event handlers may call to mask default handling or prevent bubbling of events up to parent DOM nodes, respectively. + +$$\begin{array}{l} + \mt{val} \; \mt{preventDefault} : \mt{transaction} \; \mt{unit} \\ + \mt{val} \; \mt{stopPropagation} : \mt{transaction} \; \mt{unit} +\end{array}$$ + \subsubsection{Node IDs} There is an abstract type of node IDs that may be assigned to \cd{id} attributes of most HTML tags. -- cgit v1.2.3