[Ur] Busy indicator

[Adam Chlipala]

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