[racket] script-plugin for DrRacket from laurent

From: Laurent (laurent.orseau at gmail.com)
Date: Thu Feb 19 13:35:34 EST 2015

The script plugin uses the menus to define the keybindings, because each
script is one entry in the menu. And I don't think it's possible to enable
keybindings in menus without prefixes. If you use #f, it just uses the
default prefix which is Control. Not sure the following works without
prefixes, but maybe you can get the behaviour you want by defining your own
keybinding file:
http://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html?q=keybinding#%28part._defining-shortcuts%29

Also, having Edit/Preferences/Editing/General/"Enable keybindings in menus"
can make a difference in some cases.

Laurent



On Mon, Feb 16, 2015 at 8:48 PM, razo <r.tiefenthal at gmx.de> wrote:

> Am 16.02.2015 um 21:37 schrieb Jens Axel Søgaard:
>
>> Do you happen to be on OS X?
>>
>> Which keyboard layout do you have?
>>
>>  Sorry, I forgot, I am on windows 7.
>
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150219/5bc94db5/attachment-0001.html>

Posted on the users mailing list.