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 <lexi.lam...@gmail.com> 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 <plra...@uwaterloo.ca> 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 racket-users+unsubscr...@googlegroups.com. > > 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 racket-users+unsubscr...@googlegroups.com. > 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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
