[Ur] Busy indicator

[Saulo Araujo]

Hi Adam,

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. By the
way, have you looked into https://github.com/urweb/urweb/pull/34 ?

Regards,
Saulo



On Fri, Jul 22, 2016 at 9:13 PM, Adam Chlipala <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:
>
>> Hi,
>>
>> 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?
>>
>> Sincerely,
>> Saulo
>>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160722/a1afe4dd/attachment.html>