[Ur] calling javascript code in <dyn>

Adam Chlipala adamc at csail.mit.edu
Thu Jul 5 14:05:33 EDT 2018


On 07/05/2018 01:43 PM, Fabrice Leal wrote:
> I found out too late for my own good that onload only works for 
> <body>, placing it in a <div> as no effect

Oh, I didn't realize that some event attribute was systematically 
ignored.  That might qualify as a bug!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20180705/3064af8d/attachment.html>


More information about the Ur mailing list