<div dir="ltr"><div>Hi Adam,</div><div><br></div><div>You are welcome! I am glad I could be of any help. Also, I am glad to inform that, thanks to your patch, the bug is not showing up in the full version of my code.</div><div><br></div><div>Sincerely,</div><div>Saulo</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Aug 8, 2016 at 2:50 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I think I've fixed the Ur/Web bug now.  At least, your example now works as I'd expect.<br>
<br>
Thanks for taking the time to minimize the example.  Despite the short fix, the problem was enough work to deduce in the minimized code. :)<div class="HOEnZb"><div class="h5"><br>
<br>
On 08/04/2016 08:22 AM, Saulo Araujo wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Adam,<br>
<br>
It took me some time, but after a lot of code removal (FFI, database and logic) I believe I have a small test case that shows the bug. You can get it with the command<br>
<br>
git clone -b bug <a href="https://github.com/saulo2/timesheet-ur.git" rel="noreferrer" target="_blank">https://github.com/saulo2/time<wbr>sheet-ur.git</a><br>
<br>
To reproduce the bug, follow the steps below:<br>
<br>
1) click the first button (a list of other buttons will be shown below the first button)<br>
2) click the button associated to "Project 1"<br>
3) click the first button again (the list of buttons will be hidden)<br>
4) click the first button one last time (a JavaScript alert saying "Failed to execute append child on Node..." will be shown)<br>
<br>
Also, I found out that if you change line 76 from<br>
<br>
<button dynClass={dynClass} onclick={onclick}><br>
<br>
to<br>
<br>
<button onclick={onclick}><br>
<br>
the bug does not show up. Therefore, maybe the bug is related to the dynClass JavaScript function.<br>
<br>
If is there anything else that I can do to help, please let me know.<br>
<br>
Sincerely,<br>
Saulo<br>
</blockquote>
<br></div></div><div class="HOEnZb"><div class="h5">
______________________________<wbr>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" rel="noreferrer" target="_blank">http://www.impredicative.com/c<wbr>gi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br></div>