[Ur] Busy indicator

[Adam Chlipala]

On 07/22/2016 09:51 PM, Saulo Araujo wrote:
> 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.

I'm not sure.  Can you point to an example of your construction in action?

> On Fri, Jul 22, 2016 at 9:13 PM, Adam Chlipala <adamc at csail.mit.edu 
> <mailto:adamc at csail.mit.edu>> wrote:
>
>     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.
>
>     On 07/22/2016 08:04 PM, Saulo Araujo wrote:
>
>         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?
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160805/f8bcf3e6/attachment.html>