How to extend drracket:default-filters at editor startup?

15 views
Skip to first unread message

David Thrane Christiansen

unread,
Jun 10, 2019, 1:09:27 PM6/10/19
to racket users
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
Reply all
Reply to author
Forward
0 new messages