I’ve done this, too. Could there be some way for #langs to report a default file extension to DrRacket?
> On Apr 9, 2015, at 15:31, Prabhakar Ragde <[email protected]> wrote: > > When I am editing a Scribble file in DrRacket and use "Save Definitions > As..." to start a new version, the system file dialog comes up (I am using OS > X) and the file name defaults to Untitled.rkt with the Untitled highlighted > (so I can type in my file name). But the file extension is wrong. I usually > want myfile.scrbl in this case, but I have saved so many instances of > myfile.rkt. Is it possible to have the file extension default to the current > one? > > This is not the only or greatest annoyance I encounter while editing Scribble > files in DrRacket, but this one might have an easy fix, while I suspect some > of the others (e.g. indentation) are going to be thornier and more long-term. > Thanks. --PR > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
