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

[Marko Schütz Schmuck]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170411/7b89ca84/attachment.sig>