[racket] script-plugin for DrRacket from laurent
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>