[plt-scheme] user definable keys?

From: Robby Findler (robby at cs.uchicago.edu)
Date: Tue Jul 13 16:11:25 EDT 2004

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.


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

Posted on the users mailing list.