summaryrefslogtreecommitdiff
path: root/doc/manual.tex
diff options
context:
space:
mode:
Diffstat (limited to 'doc/manual.tex')
-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.