[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