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.
