<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Here's a hypothesis: if you return a
<div onload={...}> at the top level of a generated page
(after adding the attribute by changing basis.urs), it will
actually do what you expect. However, if you embed such a
<div> within dynamically generated content, even the <i>initial
value</i> of such a dynamic region, the 'onload' handler is not
called. The reason is that the dynamically generated <div>
actually isn't there at the moment when the page loads; it is only
created by JavaScript code running thereafter.</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">Does that hypothesis seem to match your
prior situation?<br>
</div>
<div class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">On 10/22/18 6:50 PM, Fabrice Leal
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CALqfA9NUW6qwZWjDX8i_M-4a5RRRGEBm9=c5yTPKpixnDit-0Q@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="ltr">@AdamChlipala<br>
<div><br>
</div>
<div>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.</div>
<div><br>
</div>
<div>Sorry for the vagueness :) </div>
<div><br>
</div>
<div>I did end up using <active code={...} /> and that
worked for me</div>
</div>
</blockquote>
<br>
</body>
</html>