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 -- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAF_itEvVy17N%2B8%3Dse4O0dy3%3DZW%2B38STEPEjpuwbL3iij6_Tp6A%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
