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 >> >> >
bitmap-message.rkt
Description: Binary data
info.rkt
Description: Binary data
tool.rkt
Description: Binary data
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
