<span style="font-family: verdana,sans-serif;">Hi!<br><br>Now Firefox works fine!</span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Safari also works without errors (up to the reported display anomaly).</span><br style="font-family: verdana,sans-serif;">
<br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Just as a side info! </span><br style="font-family: verdana,sans-serif;"><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">The behaviour of IE 8.0 is very strange (no update and </span><br style="font-family: verdana,sans-serif;">
<span style="font-family: verdana,sans-serif;">delete buttons and table body is also distorted!)</span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">--------------------------------------------------------------------------</span><br style="font-family: verdana,sans-serif;">
<span style="font-family: verdana,sans-serif;">Line: 454</span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Character: 3</span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Code: 0</span><br style="font-family: verdana,sans-serif;">
<span style="font-family: verdana,sans-serif;">URI: <a href="http://www.impredicative.com/ur/more/More/app.js">http://www.impredicative.com/ur/more/More/app.js</a></span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">--------------------------------------------------------------------------</span><br style="font-family: verdana,sans-serif;">
<br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Regards</span><br style="font-family: verdana,sans-serif;"><span style="font-family: verdana,sans-serif;">Nik</span><br><br><br><div class="gmail_quote">
On Sat, Sep 26, 2009 at 7:16 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
nitralime wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On Sun, Sep 20, 2009 at 1:38 PM, Adam Chlipala <<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a> <mailto:<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a>>> wrote:<br>
nitralime wrote:<br>
<br>
Just for your Info!<br>
On the page (<a href="http://www.impredicative.com/ur/more/" target="_blank">http://www.impredicative.com/ur/more/</a>)<br>
I got the following error message by clicking on "Grid1":<br>
-----------------------------------------------------<br>
Fail: ReferenceError: _16 is not defined<br>
-----------------------------------------------------<br>
<br>
<br>
Which browser are you using?<br>
Firefox 3.5.3 on Mac OS X (10.5.8, Intel)!<br>
</blockquote>
<br>
OK, the new Ur/Web release works for me in the latest Firefox. I'm pretty confident that it's a Firefox bug that caused the trouble, but I've changed the compiler so that that sort of bug shouldn't cause trouble in the future.<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
I didn't get this error in Safari 4.0.3.<br>
However, the borders around the grid elemets<br>
are missing!<br>
</blockquote>
<br>
I have no idea how to deal with this, and it's infeasible for me to test anything on a Mac, so I'll ignore this for now.<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
There are also two messages in error console:<br>
<br>
/ur/more/More/Grid1/main:12 XML self-closing tag syntax used on <th>. The tag will not be closed.<br>
/ur/more/More/Grid1/main:89 XML self-closing tag syntax used on <td>. The tag will not be closed.<br>
</blockquote>
<br>
Thanks. I've changed the compiler to avoid self-closing tags that weren't traditionally self-closing in HTML.<br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
IE 8.0 on WinXP works. There is also an error message<br>
</blockquote>
<br>
I'm going to ignore IE for now, since I want to prioritize developing case studies that demonstrate why metaprogramming is nifty in Ur.<div><div></div><div class="h5"><br>
<br>
_______________________________________________<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" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</div></div></blockquote></div><br>