summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-09-11 14:14:49 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-09-11 14:14:49 -0400
commit027e8d90fdd3f74698ed40974294fd053a70cd20 (patch)
tree83bc389429c007e44e18c3d6eba6077a7148bf77 /doc
parentb6ad8fe5b4adacea14831171734f954969a72e23 (diff)
New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex7
1 files changed, 7 insertions, 0 deletions
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.