Re: [racket-dev] saving .scrbl file OS X message box

2010-11-09 Thread Robby Findler
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

Re: [racket-dev] saving .scrbl file OS X message box

2010-11-08 Thread Matthew Flatt
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,

[racket-dev] saving .scrbl file OS X message box

2010-11-03 Thread John Clements
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: boldYou cannot save this document with extension .scrbl at the end of the name. The required extension is ../bold You can choose to use both, so that