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

While in the long run something as general as what Ziv suggested is desirable I decided to experiment with the seemingly simpler idea of a hidden widget used with an unchanged version of EditableTable. Here is an example structure Theme = Ui.Make(Default) cookie userC : string

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

I have started looking into that, but don't expect anything soon... It'll take me some time just to understand the existing code. On Apr 13, 2017 3:15 PM, "Adam Chlipala" wrote: > It seems the outcome is that someone would need to add this feature, but > it's probably along

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

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 < markoschu...@googlemail.com> wrote: > On Tue, 11 Apr 2017 12:18:59 -0400, > Adam Chlipala wrote: > > > > If

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

If the "user" field is not editable, how do you choose which user to associate with a new row? 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