<div dir="ltr">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&#39;s seems excellent.<div>
<br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Sep 6, 2013 at 8:32 AM, Stephen De Gabrielle <span dir="ltr">&lt;<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Ugh - the list scrubbed my attachments.  I&#39;m guessing my options are to submit pull request or make a planet package.<span class="HOEnZb"><font color="#888888"><div>
s.</div></font></span><div><div class="h5"><div><br><div class="gmail_extra">
<br><br><div class="gmail_quote">On Fri, Sep 6, 2013 at 2:00 PM, Stephen De Gabrielle <span dir="ltr">&lt;<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><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&#39;t have time to learn typed racket.<br>
<div>- I&#39;m not confident enough with the core of DrRacket to remove the &#39;insert-large-letters&#39; code without messing something else up.</div></div></div><div><br></div><div>I&#39;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><div><div>
<br><br><div class="gmail_quote">On Sat, Aug 31, 2013 at 11:32 PM, Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</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&#39;m not sure the module browser was before the plugin api, but probably it wasn&#39;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&#39;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>On Sat, Aug 31, 2013 at 1:43 PM, Stephen De Gabrielle <span dir="ltr">&lt;<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</a>&gt;</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><div dir="ltr"><div>Hi, </div><div>looking through the source I&#39;ve noticed the module browser is not a tool, I&#39;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&#39;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></div></div>
</blockquote></div><br></div></div></div></div></div>
</blockquote></div><br></div>