[Ur] calling javascript code in <dyn>
Adam Chlipala
adamc at csail.mit.edu
Thu Jul 5 09:59:25 EDT 2018
Oh, right. The <active> tag should do just as well, in that case.
You'd need to return an empty XML document explicitly, but that's not hard.
On 07/05/2018 09:43 AM, Simon Van Casteren wrote:
> Side note: the <script> tag in basis can only be placed in the <head>
> part of an html document, so if you want to apply this you'll need to
> use the JS ffi to make a new "bodyscript" tag, as mentioned in the
> manual in chapter 11.3)
More information about the Ur
mailing list