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 <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.
