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 > 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-large-letters' code without messing something else up. > > I'm doing this as a learning exercise for the tools, but I may try > get-defns[1] and module browser[2] at some point. > > [1] personally not a big fan of drop down menus - I like the tree thingy > you see in other IDEs > [2] to make Dr start quicker on slow machines. > > Cheers, > > Stephen > > > -- > Stephen De Gabrielle <http://www.degabrielle.name/stephen> > > > > On Sat, Aug 31, 2013 at 11:32 PM, Robby Findler < > ro...@eecs.northwestern.edu> wrote: > >> 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 >> browser. >> >> Robby >> >> >> On Sat, Aug 31, 2013 at 1:43 PM, Stephen De Gabrielle < >> stephen.degabrie...@acm.org> wrote: >> >>> 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 historic/ >>> >>> Kind Regards, >>> >>> Stephen >>> >>> >>> _________________________ >>> Racket Developers list: >>> http://lists.racket-lang.org/dev >>> >>> >> >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
