Addendum: I never tried the onload on <img> from urweb, but on js land it works
On Mon, Oct 22, 2018 at 11:50 PM Fabrice Leal <[email protected]> wrote: > @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 > -- --- Fabrice Leal
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
