<div>Thanks for taking a look.</div><div><br></div>On Monday, November 5, 2012, Sam Tobin-Hochstadt wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">- Allow the presence of a #lang line to override the language dialog,<br>
or at least give an error that's more helpful than currently.<br>
<br></blockquote><div><br></div><div>What did you have in mind here? The error you get in the teaching languages when the program starts with "#lang "? </div><div><br></div><div>Robby </div>