New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov)

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.