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 racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
