I think this is the bit http://www.cs.utah.edu/plt/snapshots/current/doc/tools/Editor_Modes.html
Link to this section with @secref["General-purpose_Modes" #:doc '(lib "scribblings/tools/tools.scrbl")] I keep meaning to look at the source of DrRacket to see how this is implemented for text and Racket (and Scheme) files. I might be wrong, but I seem to remember some limitation in #lang languages that stopped Datalog from having its own extension. Stephen On Mon, 13 Apr 2015 at 19:03, Alexis King <[email protected]> wrote: > 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. > -- 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.
