Mercurial > urweb
comparison doc/manual.tex @ 1926:44f607a7f4cd
Rename <activeHead> to <script> and make it work properly
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Mon, 09 Dec 2013 15:47:14 -0500 |
| parents | 779c390382b9 |
| children | f1c211936557 |
comparison
equal
deleted
inserted
replaced
| 1925:15802a00816c | 1926:44f607a7f4cd |
|---|---|
| 2100 | 2100 |
| 2101 $$\begin{array}{l} | 2101 $$\begin{array}{l} |
| 2102 \mt{val} \; \mt{preventDefault} : \mt{transaction} \; \mt{unit} \\ | 2102 \mt{val} \; \mt{preventDefault} : \mt{transaction} \; \mt{unit} \\ |
| 2103 \mt{val} \; \mt{stopPropagation} : \mt{transaction} \; \mt{unit} | 2103 \mt{val} \; \mt{stopPropagation} : \mt{transaction} \; \mt{unit} |
| 2104 \end{array}$$ | 2104 \end{array}$$ |
| 2105 | |
| 2106 Finally, here is an HTML tag to leave a marker in the \cd{<head>} of a document asking for some side-effecting code to be run. This pattern is \emph{much} less common in Ur/Web applications than in normal HTML/JavaScript applications; see Section \ref{signals} for the more idiomatic, functional way of manipulating the visible page. | |
| 2107 | |
| 2108 $$\begin{array}{l} | |
| 2109 \mt{val} \; \mt{script} : \mt{unit} \to \mt{tag} \; [\mt{Code} = \mt{transaction} \; \mt{unit}] \; \mt{head} \; [] \; [] \; [] | |
| 2110 \end{array}$$ | |
| 2111 | |
| 2112 Note that the Ur/Web version of \cd{<script>} is used like \cd{<script code=\{...\}/>}, rather than \cd{<script>...</script>}. | |
| 2105 | 2113 |
| 2106 \subsubsection{Node IDs} | 2114 \subsubsection{Node IDs} |
| 2107 | 2115 |
| 2108 There is an abstract type of node IDs that may be assigned to \cd{id} attributes of most HTML tags. | 2116 There is an abstract type of node IDs that may be assigned to \cd{id} attributes of most HTML tags. |
| 2109 | 2117 |