<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=utf-8"> <META content="MSHTML 6.00.6000.16414" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV><FONT face="Courier New">GREAT! THANKS!</FONT></DIV> <DIV><FONT face="Courier New">Jos Koot</FONT></DIV> <DIV> </DIV> <DIV>----- Original Message ----- </DIV> <BLOCKQUOTE style="PADDING-RIGHT: 0px; PADDING-LEFT: 5px; MARGIN-LEFT: 5px; BORDER-LEFT: #000000 2px solid; MARGIN-RIGHT: 0px"> <DIV style="BACKGROUND: #e4e4e4; FONT: 10pt arial; font-color: black"><B>From:</B> <A title=robby@cs.uchicago.edu href="mailto:robby@cs.uchicago.edu">Robby Findler</A> </DIV> <DIV style="FONT: 10pt arial"><B>To:</B> <A title=jos.koot@telefonica.net href="mailto:jos.koot@telefonica.net">jos koot</A> </DIV> <DIV style="FONT: 10pt arial"><B>Cc:</B> <A title=eli@barzilay.org href="mailto:eli@barzilay.org">Eli Barzilay</A> ; <A title=plt-scheme@list.cs.brown.edu href="mailto:plt-scheme@list.cs.brown.edu">plt-scheme@list.cs.brown.edu</A> </DIV> <DIV style="FONT: 10pt arial"><B>Sent:</B> Sunday, May 06, 2007 11:03 PM</DIV> <DIV style="FONT: 10pt arial"><B>Subject:</B> Re: [plt-scheme] PLT Scheme v369.100 is available for testing</DIV> <DIV><BR></DIV>On 5/6/07, jos koot <<A href="mailto:jos.koot@telefonica.net">jos.koot@telefonica.net</A>> wrote:<BR>> A minor point: when opening from DrScheme an .ss file saved by the new<BR>> version and containing one single module, the language is, as before, always<BR>> set to (module ...), which is nice, but other settings are reset to the<BR>> language defaults, like before too. It does not bother me, but your remark<BR>> above gave me the impression that the settings would be the same as when the<BR>> file was saved.<BR>I just changed drscheme one small step in this direction. DrScheme<BR>still doens't save anything extra into a module language file, but if<BR>your most recently chosen language is the module language with some<BR>non-default settings, drscheme uses those non-default settings when<BR>opening new modules.<BR><BR>hth,<BR>Robby<BR></BLOCKQUOTE></BODY></HTML>