[plt-scheme] .DrScheme?

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Tue Jun 30 14:03:43 EDT 2009

I'm not completely sure I understand you, but if you set up a
keybindings file, DrScheme will remember that setting each time you
restart it.

Robby

On Tue, Jun 30, 2009 at 12:52 PM, Hugh Myers<hsmyers at gmail.com> wrote:
> 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
>>>>>>>>>>>
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>
>>>>>>>
>>>>>>
>>>>>
>>>>
>>>
>>
>


Posted on the users mailing list.