<div dir="auto">I have started looking into that, but don't expect anything soon... It'll take me some time just to understand the existing code. </div><div class="gmail_extra"><br><div class="gmail_quote">On Apr 13, 2017 3:15 PM, "Adam Chlipala" <<a href="mailto:adamc@csail.mit.edu">adamc@csail.mit.edu</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000">
<p>It seems the outcome is that someone would need to add this
feature, but it's probably along the lines of code already present
for other modules.<br>
</p>
<div class="m_5946475664283772242moz-cite-prefix">On 04/11/2017 01:47 PM, Marko Schütz
Schmuck wrote:<br>
</div>
<blockquote type="cite">
<pre>On Tue, 11 Apr 2017 13:13:19 -0400,
Ziv Scully wrote:
</pre>
<blockquote type="cite">
<pre>
Am I correct in thinking that you basically want something like InputStrings's "const" and "given"
parameters, but for EditableTable?
</pre>
</blockquote>
<pre>
Yes, from what I can tell...
</pre>
<blockquote type="cite">
<pre>On Tue, Apr 11, 2017 at 13:03 Marko Schütz Schmuck <a class="m_5946475664283772242moz-txt-link-rfc2396E" href="mailto:markoschuetz@googlemail.com" target="_blank"><markoschuetz@googlemail.com></a> 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
>
> _____________________________<wbr>__________________
> Ur mailing list
> <a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
> <a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
>
> _____________________________<wbr>__________________
> Ur mailing list
> <a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
> <a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
>
>
> [2 <text/plain; utf-8 (base64)>]
> ______________________________<wbr>_________________
> Ur mailing list
> <a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
> <a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
______________________________<wbr>_________________
Ur mailing list
<a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
<a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
[2 <text/plain; utf-8 (base64)>]
______________________________<wbr>_________________
Ur mailing list
<a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
<a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
</pre>
<br>
<fieldset class="m_5946475664283772242mimeAttachmentHeader"></fieldset>
<br>
<pre>______________________________<wbr>_________________
Ur mailing list
<a class="m_5946475664283772242moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a>
<a class="m_5946475664283772242moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a>
</pre>
</blockquote>
</blockquote>
<br>
</div>
<br>______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/<wbr>cgi-bin/mailman/listinfo/ur</a><br>
<br></blockquote></div></div>