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

Adam Chlipala adamc at csail.mit.edu
Tue Dec 10 14:38:06 EST 2013


On 12/10/2013 06:50 AM, Sergey Mironov wrote:
> Thanks! Works fine. Now the only difference between public UrWeb repo
> and my local one is the 'show id' patch (attached). It is required by
> one JavaScript control (it wants code like     i<- fresh;    return
> <xml>  <img src={r.Url} alt="" title={"#"^(show i)}/>  </xml>  ). Will
> you accept it?
>    

Sure, accepted!

It's a shame that so much legacy web software expects to work with DOM 
IDs, but I see the importance of supporting it nicely in Ur/Web.



More information about the Ur mailing list