[Ur] Busy indicator

[Adam Chlipala]

I'd rather see a version that doesn't use the JavaScript FFI, instead 
building, in Ur/Web code, a wrapper around [rpc].  I would include an 
abstract type of "RPC groups," with a constructor to create one in a 
transaction, plus an [rpc] variant and an is-there-an-active-RPC signal 
function that each take the group as input.

Does that sound sufficiently pleasant to use?

On 08/07/2016 11:28 PM, Saulo Araujo wrote:
> Sure! You can see it in action at 
> http://timesheet-ur.sauloaraujo.com:8080/TimeSheet/application.
>
> The implementation is in the files 
> https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.js and 
> https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.ur
>
> Sincreley,
> Saulo
>
> On Fri, Aug 5, 2016 at 4:58 PM, Adam Chlipala <adamc at csail.mit.edu 
> <mailto:adamc at csail.mit.edu>> wrote:
>
>     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/20160826/a3da06f2/attachment.html>