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