[racket-dev] Module Browser not a plugin/tool
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.
Robby
On Fri, Sep 6, 2013 at 8:32 AM, Stephen De Gabrielle <
stephen.degabrielle at acm.org> wrote:
> 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/bedb9d07/attachment.html>