[racket-dev] Module Browser not a plugin/tool

From: Stephen De Gabrielle (stephen.degabrielle at acm.org)
Date: Fri Sep 6 09:32:00 EDT 2013

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.degabrielle at 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 <
> robby at 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.degabrielle at 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
>>>
>>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130906/3a71e0be/attachment.html>

Posted on the dev mailing list.