
<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>