<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Maybe just stop worrying about it, so
that you might find that problems don't arise in practice? >:)<br>
<br>
On 02/11/2018 07:13 PM, Aistis Raulinaitis wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAKzB5bVr6iW6m7dauK27C=PiwG17ptCX1RJxHHoRK0dFv+-kEA@mail.gmail.com">
<div dir="auto">Any pointers to get me started on the right path
when it comes to a more effective usage of source based forms?</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Feb 11, 2018 16:09, "Adam Chlipala"
<<a href="mailto:adamc@csail.mit.edu" target="_blank"
moz-do-not-send="true">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 text="#000000" bgcolor="#FFFFFF">
<div class="m_-6018174663665810012moz-cite-prefix">I'm not
sure what to suggest. No, there is no existing feature
like what you suggest. I have found it quite pleasant
to work with sources and widgets connected to them.<br>
<br>
On 02/11/2018 05:03 PM, Aistis Raulinaitis wrote:<br>
</div>
<blockquote type="cite">
<div dir="auto">The way that a form will pack all of its
contents into a stuct is a clear advantage over the
source based route. It requires defining possibly many
sources and wiring them all into the right slots,
having to call "get" on each one of them in the
onclick handler and then wire all the gotten values
into the handler.</div>
</blockquote>
</div>
</blockquote>
</div>
</div>
</blockquote>
<br>
</body>
</html>