I think that is right and I did a similar thing the other day and my conclusion is that there is a bug somewhere. I hope to look into it soon.
Robby On Sat, Apr 18, 2015 at 4:03 PM, Alexander D. Knauth <[email protected]> wrote: > I just found this: > http://docs.racket-lang.org/tools/adding-languages.html#%28elem._drracket~3adefault-extension%29 > > But I tried using it by changing the definition of scribble-base-reader-info > in scribble/base/reader.rkt to: > (define (scribble-base-reader-info) > (lambda (key defval default) > (case key > [(color-lexer) > (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] > [(definitions-text-surrogate) > 'scribble/private/indentation] > [(drracket:default-extension) > "scrbl"] > [else (default key defval)]))) > > And it didn’t work. > > What is the proper way to do this, or am I misunderstanding the purpose of > this? > > > On Apr 9, 2015, at 8:02 PM, 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. -- 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.
