[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: customizing key definitions with Customize
From: |
Richard M Stallman |
Subject: |
Re: customizing key definitions with Customize |
Date: |
Fri, 16 May 2008 13:46:43 -0400 |
I can see some use value in not always presenting a user, by default, with a
complete keymap to customize. That's all. That doesn't mean we couldn't also
provide a way for a user to go ahead and customize the whole keymap. I'm
thinking of user convenience and possible confusion.
Perhaps you are right. I think that the first task is to define the
mechanism so it can implement both modes. Then we could decide
which of the two modes should be the default.
- RE: customizing key definitions with Customize, (continued)
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/12
- Re: customizing key definitions with Customize, Juri Linkov, 2008/05/12
- Re: customizing key definitions with Customize, Lennart Borgman (gmail), 2008/05/12
- Re: customizing key definitions with Customize, Richard M Stallman, 2008/05/13
- Re: customizing key definitions with Customize, Juri Linkov, 2008/05/13
- Re: customizing key definitions with Customize, Stefan Monnier, 2008/05/13
- Re: customizing key definitions with Customize, Richard M Stallman, 2008/05/14
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/15
- Re: customizing key definitions with Customize, Richard M Stallman, 2008/05/15
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/16
- Re: customizing key definitions with Customize,
Richard M Stallman <=
- Re: customizing key definitions with Customize, David Kastrup, 2008/05/16
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/16
- Re: customizing key definitions with Customize, Richard M Stallman, 2008/05/17
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/16
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/17
- Key/menu bug? (was: customizing key definitions with Customize), David Kastrup, 2008/05/18
- Re: customizing key definitions with Customize, David Reitter, 2008/05/13
- Re: customizing key definitions with Customize, David Kastrup, 2008/05/14
- RE: customizing key definitions with Customize, Drew Adams, 2008/05/14
- Re: customizing key definitions with Customize, Richard M Stallman, 2008/05/13