<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'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"><<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</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">Ugh - the list scrubbed my attachments. I'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"><<a href="mailto:stephen.degabrielle@acm.org" target="_blank">stephen.degabrielle@acm.org</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">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><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>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><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></div></div>
</blockquote></div><br></div></div></div></div></div>
</blockquote></div><br></div>