On 10/18/2013 07:17 PM, Sergey Mironov wrote:
2013/10/11 Adam Chlipala<[email protected]>:
All of those changes sound reasonable, and I encourage you to implement them
yourself! If you don't yet have a wiki account with write privileges,
please create an account and let me know its name, so I can grant
privileges. (Writing is off by default, because we don't have nearly a
large enough community to do the spam policing that Wikipedia has.)
Sure, please grant 'grwlf' user with write permissions.
OK, done. (Sorry for the delay!)
Also, it is possible to include <script>callback(); </script> into the
<body> tag after all other content. If I understand it correctly, it
is also differs from including callback() into body.onload handler.
Some thirdparty scripts may belong on that too.
It's possible that the <active> pseudotag already does what you need
here. E.g., you can write:
<active code={alert "MUAHAHA!"; return <xml>hi!</xml>}/>
which will pop up the alert and then fill in "hi!" (or something like
that; it's been a while since I thought about this guy).
Does this cover the use cases that matter to you?
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
