diff options
Diffstat (limited to 'doc/manual.tex')
-rw-r--r-- | doc/manual.tex | 7 |
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. |