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 <[email protected]> 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
