Re: [racket-dev] Module Browser not a plugin/tool

thanks. http://planet.racket-lang.org/display.ss?package=insert-large-letters.plt&owner=spdegabrielle -- Stephen De Gabrielle On Fri, Sep 6, 2013 at 2:35 PM, Robby Findler wrote: > I got the attachments, FWIW. Probably best, however, if someone were to >

Re: [racket-dev] Module Browser not a plugin/tool

I got the attachments, FWIW. Probably best, however, if someone were to submit a pull request with the code still in TR and with the appropriate removal of the current implementation. Otherwise, I think it has served its purpose as a learning experiment and that's seems excellent. Robby On Fri,

Re: [racket-dev] Module Browser not a plugin/tool

Ugh - the list scrubbed my attachments. I'm guessing my options are to submit pull request or make a planet package. s. On Fri, Sep 6, 2013 at 2:00 PM, Stephen De Gabrielle < stephen.degabrie...@acm.org> wrote: > Hi, > > I just tried making a instance of insert-large-letters as a tool. I just

Re: [racket-dev] Module Browser not a plugin/tool

Hi, I just tried making a instance of insert-large-letters as a tool. I just copied the code and added the tools stuff. Seemed to work OK, but - I turned it into normal racket as I didn't have time to learn typed racket. - I'm not confident enough with the core of DrRacket to remove the 'insert-l

Re: [racket-dev] Module Browser not a plugin/tool

I'm not sure the module browser was before the plugin api, but probably it wasn't. I think all three of those could be tools, but it is an accident of history (and of who implemented them...) that they aren't. Probably they should be. We might even save some startup time by disabling the module bro

[racket-dev] Module Browser not a plugin/tool

Hi, looking through the source I've noticed the module browser is not a tool, I'm guessing this is because it preceded the introduction of the plugins mechanism? Check Syntax is a tool, but insert-large-letters.rkt and get-defn's are not? is there a defined criteria? or is the arrangement histor