<div dir="ltr">Hi, <div><br></div><div>I just tried making a instance of insert-large-letters as a tool. I just copied the code and added the tools stuff.<div><br><div>Seemed to work OK, but</div><div>- I turned it into normal racket as I didn't have time to learn typed racket.<br>
<div>- I'm not confident enough with the core of DrRacket to remove the 'insert-large-letters' code without messing something else up.</div></div></div><div><br></div><div>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.</div>
<div><br></div><div>[1] personally not a big fan of drop down menus - I like the tree thingy you see in other IDEs </div><div>[2] to make Dr start quicker on slow machines.</div><div><br></div><div>Cheers, </div><div><br>
</div><div>Stephen</div><div><br></div></div></div><div class="gmail_extra"><br clear="all"><div><div dir="ltr">--<br><a href="http://www.degabrielle.name/stephen" target="_blank">Stephen De Gabrielle</a><div><br></div></div>
</div>
<br><br><div class="gmail_quote">On Sat, Aug 31, 2013 at 11:32 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr">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.<div>
<br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div class="h5">On Sat, Aug 31, 2013 at 1:43 PM, Stephen De Gabrielle <span dir="ltr"><<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</a>></span> wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div>Hi, </div><div>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? </div>
<div><br></div>
<div>Check Syntax is a tool, but insert-large-letters.rkt and get-defn's are not?</div><div><br></div><div>is there a defined criteria? or is the arrangement historic/</div><div><br></div><div>
Kind Regards, </div><span><font color="#888888"><div><br></div><div>Stephen</div><div><div dir="ltr"><div><br></div></div></div>
</font></span></div>
<br></div></div>_________________________<br>
Racket Developers list:<br>
<a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>