[Ur] calling javascript code in <dyn>

Mon Oct 22 18:50:18 EDT 2018

@AdamChlipala

At the time I implemented an onload attribute for <div> on basis.ur and
only later found out if was for no good on html/js land: the only onload
that gets triggered is the one defined on <body>, setting onload for any
other child tag has no "side effects"; so I scrapped that.

Sorry for the vagueness :)

I did end up using <active code={...} /> and that worked for me
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20181022/d505b8ed/attachment.html>