From: Grant Rettke (grettke at acm.org) Date: Fri Sep 14 12:16:34 EDT 2007 |
|
On 9/14/07, Robby Findler <robby at cs.uchicago.edu> wrote: > Oh, gee. If I'd remembered that it probably would have saved you lots > of time! Sorry ... Well, question for you, it is always an option of the user to remap the entire keymapping from scratch isn't it? I think the challenge is informing the user as to what commands in fact *are* available! (like navigate between editors and the repl for example)
Posted on the users mailing list. |
|