<html>
  <head>
    <meta content="text/html; charset=utf-8" http-equiv="Content-Type">
  </head>
  <body text="#000000" bgcolor="#FFFFFF">
    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.<br>
    <br>
    Does that sound sufficiently pleasant to use?<br>
    <br>
    <div class="moz-cite-prefix">On 08/07/2016 11:28 PM, Saulo Araujo
      wrote:<br>
    </div>
    <blockquote
cite="mid:CA+ckhoTBNWrRPcFco8PtnfpEJKFKHi30OxdWLaM8LFK96apadQ@mail.gmail.com"
      type="cite">
      <div dir="ltr">
        <div>Sure! You can see it in action at <a
            moz-do-not-send="true"
            href="http://timesheet-ur.sauloaraujo.com:8080/TimeSheet/application"><a class="moz-txt-link-freetext" href="http://timesheet-ur.sauloaraujo.com:8080/TimeSheet/application">http://timesheet-ur.sauloaraujo.com:8080/TimeSheet/application</a></a>.<br>
        </div>
        <div><br>
        </div>
        <div>The implementation is in the files <a
            moz-do-not-send="true"
            href="https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.js"><a class="moz-txt-link-freetext" href="https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.js">https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.js</a></a>
          and <a moz-do-not-send="true"
            href="https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.ur">https://github.com/saulo2/timesheet-ur/blob/master/timeSheet.ur</a></div>
        <div><br>
        </div>
        <div>Sincreley,</div>
        <div>Saulo</div>
      </div>
      <div class="gmail_extra"><br>
        <div class="gmail_quote">On Fri, Aug 5, 2016 at 4:58 PM, Adam
          Chlipala <span dir="ltr"><<a moz-do-not-send="true"
              href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span>
          wrote:<br>
          <blockquote class="gmail_quote" style="margin:0 0 0
            .8ex;border-left:1px #ccc solid;padding-left:1ex">
            <div text="#000000" bgcolor="#FFFFFF"><span class=""> On
                07/22/2016 09:51 PM, Saulo Araujo wrote:<br>
                <blockquote type="cite">
                  <div dir="ltr">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.</div>
                </blockquote>
                <br>
              </span> I'm not sure.  Can you point to an example of your
              construction in action?<br>
              <br>
              <blockquote type="cite">
                <div dir="ltr">
                  <div class="gmail_extra"><span class="">On Fri, Jul
                      22, 2016 at 9:13 PM, Adam Chlipala <span
                        dir="ltr"><<a moz-do-not-send="true"
                          href="mailto:adamc@csail.mit.edu"
                          target="_blank">adamc@csail.mit.edu</a>></span>
                      wrote:<br>
                    </span>
                    <div class="gmail_quote">
                      <blockquote class="gmail_quote" style="margin:0 0
                        0 .8ex;border-left:1px #ccc
                        solid;padding-left:1ex"><span class="">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.<br>
                        </span>
                        <div>
                          <div><span class=""> <br>
                              On 07/22/2016 08:04 PM, Saulo Araujo
                              wrote:<br>
                            </span><span class="">
                              <blockquote class="gmail_quote"
                                style="margin:0 0 0 .8ex;border-left:1px
                                #ccc solid;padding-left:1ex"> 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?<br>
                              </blockquote>
                            </span></div>
                        </div>
                      </blockquote>
                    </div>
                  </div>
                </div>
              </blockquote>
            </div>
          </blockquote>
        </div>
      </div>
    </blockquote>
  </body>
</html>