Re: [Ur] calling javascript code in

2018-07-05 Thread Adam Chlipala

On 07/05/2018 01:43 PM, Fabrice Leal wrote:
I found out too late for my own good that onload only works for 
, placing it in a  as no effect


Oh, I didn't realize that some event attribute was systematically 
ignored.  That might qualify as a bug!
___
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


Re: [Ur] calling javascript code in

2018-07-05 Thread Fabrice Leal
I didnt get Chlipala's mail in my inbox, so replying to my own email.

> I hope you are not asking about literally writing code in JavaScript
How dare you? :o)

Sorry for the poor wording, thanks for the reply. I was trying to make

Re: [Ur] calling javascript code in

2018-07-05 Thread Simon Van Casteren
Active doesn't let you do rpc requests though, but if you don't need that
then active works as well, didn't think about that either...

Op do 5 jul. 2018 om 15:59 schreef Adam Chlipala :

> Oh, right.  The  tag should do just as well, in that case.
> You'd need to return an empty XML document explicitly, but that's not hard.
>
> On 07/05/2018 09:43 AM, Simon Van Casteren wrote:
> > Side note: the 

Re: [Ur] calling javascript code in

2018-07-05 Thread Adam Chlipala
Oh, right.  The  tag should do just as well, in that case.  
You'd need to return an empty XML document explicitly, but that's not hard.


On 07/05/2018 09:43 AM, Simon Van Casteren wrote:
Side note: the 

Re: [Ur] calling javascript code in

2018-07-05 Thread Simon Van Casteren
This is a very cool trick! I happened to need this: I'm making a filtering
page with a ton of checkboxes, and every time I check any one of them, I
want to reload stuff from the server. My first solution was to add my
"reloadStuff" function in every onchange handler of every checkbox. I've
now replaced that with the trick mentioned above: one dyn tag which depends
on the signals of every checkbox source, and it renders a script tag when
something changes. Much cleaner! Have to be a little bit careful that I
don't start abusing this though.

Side note: the