[Ur] ANNOUNCE: uru - the jQuery widget wrappers with a demo

Adam Chlipala adamc at csail.mit.edu
Thu Nov 21 15:56:44 EST 2013


On 10/18/2013 07:17 PM, Sergey Mironov wrote:
> 2013/10/11 Adam Chlipala<adamc at csail.mit.edu>:
>    
>> 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?



More information about the Ur mailing list