[Ur] Ur/Web people organizer: editable table with fixed (hidden) field?

[Ziv Scully]

Am I correct in thinking that you basically want something like
InputStrings's "const" and "given" parameters, but for EditableTable?


On Tue, Apr 11, 2017 at 13:03 Marko Schütz Schmuck <
markoschuetz at googlemail.com> wrote:

> On Tue, 11 Apr 2017 12:18:59 -0400,
> Adam Chlipala wrote:
> >
> > If the "user" field is not editable, how do you choose which user to
> associate with a new row?
>
> I was thinking that it could be a transaction argument to the widget
> function like
>
>         ...
>         val widgets = {User = sinkWidget (getCookie userC), ...}
>
> alternatively maybe it should be another part of the struct passed to
> the EditableTable.Make functor like "permission"?
>
> Best regards,
>
> Marko
>
> > On 04/11/2017 12:10 PM, Marko Schütz Schmuck wrote:
> >
> >     On Tue, 11 Apr 2017 10:58:31 -0400,
> >     Adam Chlipala wrote:
> >
> >         OK, so you don't want to support adding or deleting rows, just
> editing the ones that
> >         already exist?  I'm not sure UPO has something like that right
> now, but I'd need to look
> >         through the code again to be sure.
> >
> >     No, no: adding and deleting are required too. It's just that I want
> to
> >     have the User field not editable. A "sink widget" that does not
> >     display but can be assigned as the widget of a field might work? The
> >     field would still be in the records and be stored in the table.
> >
> >     Best regards,
> >
> >     Marko
> >
> >         On 04/10/2017 04:14 PM, Marko Schütz Schmuck wrote:
> >
> >             I was wondering whether the tools available in UPO are
> already
> >             sufficient to cover the following:
> >
> >             I have a table where each user can register several tuples.
> For now,
> >             I'd like to present it as an editable table where the field
> User is
> >             not editable (not even visible) and will be constants for
> all tuples
> >             entered by that user.
> >
> >             Best regards,
> >
> >             Marko
> >
> >         _______________________________________________
> >         Ur mailing list
> >         Ur at impredicative.com
> >         http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> >
> >         _______________________________________________
> >         Ur mailing list
> >         Ur at impredicative.com
> >         http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> >
> >
> > [2  <text/plain; utf-8 (base64)>]
> > _______________________________________________
> > Ur mailing list
> > Ur at impredicative.com
> > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
> _______________________________________________
> 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/20170411/dea952fb/attachment-0001.html>