Yes that is how you get it. But I think that maybe instead you should use the save-port method of the editor. That's how you get what drr puts into the files it saves. You should get the metadata and the "only wxme format when there are images" behavior.
Robby On Sunday, October 4, 2015, Paolo Giarrusso <[email protected]> wrote: > Hi all! > > I'm trying to figure out how to get the language-settings for the current > DrRacket editor, for use in an existing plugin. > My first attempt seemed to work for some time, but I've finally tracked > down a bug with it; my new attempt seems to fix the bug, but I thought I'd > try harder to get feedback.* > > I'm now trying > > (send (send a-drracket:unit:frame get-definitions-text) get-next-settings) > > and getting a-drracket:unit:frame can be done through > drracket:get/extend:extend-unit-frame (as already done by the plugin I'm > modifying). This seems to work, but is it actually correct? > > *If you wonder, my goal is actually fixing > https://github.com/racket/handin/issues/17, and I already started in > https://github.com/racket/handin/pull/22; I didn't mention that until now > because there are more people familiar with DrRacket than with the handin > server. The lack of people also explains why I'm attempting this fix > without the necessary mastery. > > Should you want to see the fix in context, see > > https://github.com/racket/handin/commit/1348760243d9b989acb8a71d8a6f7a8f82652960 > > Cheers, > Paolo > > -- > 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] <javascript:;>. > 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.
