Hello all,
In order to add an entry to the file extension dropdown in DrRacket, a #lang's get-info procedure should respond to drracket:default-filters.
This works - in the Pie integration for DrRacket, the corresponding entry is present. However, it is only present after the first Pie program has been opened - before that, Racket Sources and All Files are my only entries.
Is there a canonical way to arrange for the menu to be extended on startup for the installed #lang options? I could write a DrRacket plugin and bundle it with Pie, but that seems like a quite heavyweight solution.
Thanks in advance!
David