[plt-scheme] .DrScheme?

Ah! Then a .DrScheme plugin sounds like the best way (short of
convincing you all to add the feature) to go. From my perspective as a
user, work flow is better without having to re-do customizations each
time I run the environment.

--hsm


On Tue, Jun 30, 2009 at 11:47 AM, Robby
Findler<robby at eecs.northwestern.edu> wrote:
> Plugins are executed when drscheme starts up (and can install code
> that gets executed at lots of different times).
>
> I only said that because I understood you wanted to add keybindings to
> DrScheme. Adding keybindigns to drscheme is much easier via the
> earlier method.
>
> Robby
>
> On Tue, Jun 30, 2009 at 12:21 PM, Hugh Myers<hsmyers at gmail.com> wrote:
>> Then I'm confused since you just said that a plugin wasn't what I
>> wanted. It occurs to me to ask if plugins are executed (or could be)
>> when DrScheme loads. If not then this is no better a solution than
>> using the menu...
>>
>> --hsm
>>
>> On Tue, Jun 30, 2009 at 11:17 AM, Robby
>> Findler<robby at eecs.northwestern.edu> wrote:
>>> Plugins can read files, parse streams, and build whatever you write
>>> code to build.
>>>
>>> Robby
>>>
>>> On Tue, Jun 30, 2009 at 12:15 PM, Hugh Myers<hsmyers at gmail.com> wrote:
>>>> So a plugin can't read a file parse it and build the necessary code to
>>>> add keystrokes?
>>>>
>>>> --hsm
>>>> p.s. Already looked at docs on building shortcuts which is what lead
>>>> to this conversation
>>>>
>>>> On Tue, Jun 30, 2009 at 11:12 AM, Robby
>>>> Findler<robby at eecs.northwestern.edu> wrote:
>>>>> Hugh,
>>>>>
>>>>>  The plugin support is not what you want for adding keybindings. If
>>>>> you want to add keybindings, please read section 3.3.8 in the DrScheme
>>>>> manual. This page is available in your local installation and also
>>>>> here:
>>>>>
>>>>>  http://docs.plt-scheme.org/drscheme/Keyboard_Shortcuts.html#(part._defining-shortcuts)
>>>>>
>>>>> Good luck,
>>>>> Robby
>>>>>
>>>>> On Tue, Jun 30, 2009 at 12:09 PM, Hugh Myers<hsmyers at gmail.com> wrote:
>>>>>> Plugin suggests that it is possible (if not easy the first
>>>>>> time[learning and all that...]) if not as easy as it could be. I
>>>>>> wonder if the plugin could read the dot file and add keybindings
>>>>>> accordingly?
>>>>>>
>>>>>> --hsm
>>>>>>
>>>>>>
>>>>>> On Tue, Jun 30, 2009 at 11:03 AM, Robby
>>>>>> Findler<robby at eecs.northwestern.edu> wrote:
>>>>>>> Sorry, I was unclear: you can set keybindings fairly
>>>>>>> straightforwardly, but there is no ".drschemerc" (in its place is a
>>>>>>> much more complex protocol for building plugins).
>>>>>>>
>>>>>>> Robby
>>>>>>>
>>>>>>> On Tue, Jun 30, 2009 at 11:08 AM, Hugh Myers<hsmyers at gmail.com> wrote:
>>>>>>>> The docs don't speak to automatically loading a file. I can do so
>>>>>>>> through a menu option, but nothing I could see suggests an autoload
>>>>>>>> feature. What did I miss?
>>>>>>>>
>>>>>>>> --hsm
>>>>>>>>
>>>>>>>> On Tue, Jun 30, 2009 at 9:14 AM, Robby
>>>>>>>> Findler<robby at eecs.northwestern.edu> wrote:
>>>>>>>>> Yes. Search in Help Desk for "keybindings".
>>>>>>>>>
>>>>>>>>> On Tue, Jun 30, 2009 at 10:12 AM, Hugh Myers<hsmyers at gmail.com> wrote:
>>>>>>>>>> Is is possible to have a key-bindings file loaded auto-magically?
>>>>>>>>>>
>>>>>>>>>> --hsm
>>>>>>>>>> _________________________________________________
>>>>>>>>>>  For list-related administrative tasks:
>>>>>>>>>>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>