Re: [racket-dev] saving .scrbl file OS X message box
I don't understand how I can call get-file differently to improve what seems to be happening currently under mac os x. In particular, when I try to save a file "x.scrbl" it asks me if "x.rkt" is what I meant and the default choice is to keep the scrbl extension (this is under 10.6; maybe things are different on 10.5?) Robby On Mon, Nov 8, 2010 at 8:14 AM, Matthew Flatt wrote: > This was a bug in the `save-file' dialog under Cocoa, where the > Cocoa-level "allow other extensions" flag wasn't set correctly. It's > now fixed. > > Probably DrRacket should add ".scrbl" to its list of standard > extensions, though. > > At Wed, 3 Nov 2010 14:15:34 -0700, John Clements wrote: >> Dear Heavens, this is the most unpleasant message box I've seen in a while, >> when trying to save a file with the extension "scrbl" in OS X 10.6.4: >> >> You cannot save this document with extension ".scrbl" at the end of the >> name. The required extension is ".". >> >> You can choose to use both, so that your file name ends in ".scrbl". >> >> >> >> ... uh? >> >> I'm guessing that we deduced that by requiring the extension "." only, OS X >> would allow us to save with any extension we liked, but the resulting >> message >> box is appalling; I vote for going back to what we had before >> >> Apologies if I'm misunderstanding something, here. >> >> John > > _ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/dev > _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] saving .scrbl file OS X message box
This was a bug in the `save-file' dialog under Cocoa, where the Cocoa-level "allow other extensions" flag wasn't set correctly. It's now fixed. Probably DrRacket should add ".scrbl" to its list of standard extensions, though. At Wed, 3 Nov 2010 14:15:34 -0700, John Clements wrote: > Dear Heavens, this is the most unpleasant message box I've seen in a while, > when trying to save a file with the extension "scrbl" in OS X 10.6.4: > > You cannot save this document with extension ".scrbl" at the end of the > name. The required extension is ".". > > You can choose to use both, so that your file name ends in ".scrbl". > > > > ... uh? > > I'm guessing that we deduced that by requiring the extension "." only, OS X > would allow us to save with any extension we liked, but the resulting > message > box is appalling; I vote for going back to what we had before > > Apologies if I'm misunderstanding something, here. > > John _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
[racket-dev] saving .scrbl file OS X message box
Dear Heavens, this is the most unpleasant message box I've seen in a while, when trying to save a file with the extension "scrbl" in OS X 10.6.4: You cannot save this document with extension ".scrbl" at the end of the name. The required extension is ".". You can choose to use both, so that your file name ends in ".scrbl". ... uh? I'm guessing that we deduced that by requiring the extension "." only, OS X would allow us to save with any extension we liked, but the resulting message box is appalling; I vote for going back to what we had before Apologies if I'm misunderstanding something, here. John smime.p7s Description: S/MIME cryptographic signature _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
