<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 07/22/2016 09:51 PM, Saulo Araujo wrote:<br>
<blockquote
cite="mid:CA+ckhoTWgp+ojxoyy4_yuciurdSvkBOG-UrVzkhTPXv2RMj2ZA@mail.gmail.com"
type="cite">
<div dir="ltr">Thanks for your suggestion. It was quite easy
indeed. Do you think this signal could/should be part of the
Ur/Web standard library and runtime? If so, I can make a pull
request with my implementation of this signal.</div>
</blockquote>
<br>
I'm not sure. Can you point to an example of your construction in
action?<br>
<br>
<blockquote
cite="mid:CA+ckhoTWgp+ojxoyy4_yuciurdSvkBOG-UrVzkhTPXv2RMj2ZA@mail.gmail.com"
type="cite">
<div dir="ltr">
<div class="gmail_extra">On Fri, Jul 22, 2016 at 9:13 PM, Adam
Chlipala <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span>
wrote:<br>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">I don't
have anything in particular in mind, but it should be easy
enough to get the appropriate signals from Ur/Web. It
should even be possible to write generic functionality to
wrap an RPC with code to change the status of a busy
indicator after the call returns.<br>
<div>
<div class="h5">
<br>
On 07/22/2016 08:04 PM, Saulo Araujo wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
I would like to show a busy indicator when there is
an ongoing rpc. I was wondering if there is a source
that contains that information. Does anyone know if
is there such source?<br>
</blockquote>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</blockquote>
<br>
</body>
</html>