[plt-scheme] user definable keys?

These are both requests that have been made several times and I've just
been lazy in getting them done. They are on the list, however, and I
hope to get to them in the not too distant future.

Robby

At Tue, 13 Jul 2004 15:06:24 -0500, mcodik at uchicago.edu wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Hello,
> 
> Would it be possible to add the ability for users to custom assign keyboard
> shortcuts in DrScheme? I am using the Linux version, but I am used to
> Windows-style keyboard shortcuts (Ctrl + ??).
> 
> Another quick suggestion-- hitting the Home key in the interactions pane goes to
> the begining of the line (before the > prompt), and anything you type right
> after that is lost. Can you make Home stop before the prompt (as in aterm, for
> example)
> 
> Thanks, 
> 
> Maurice Codik