[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info enhancements
|
From: |
Richard Stallman |
|
Subject: |
Re: Info enhancements |
|
Date: |
Sat, 13 Dec 2003 18:15:04 -0500 |
It is spelled "whenever we are not sure which behavior to make the
default, have an option so that users can decide."
Our principle is to add an option only if it seems important. Many
issues are not important enough to justify one. If a few users really
care, they can change the code. An option is useful when each
alternative is preferred by many users.
- Re: Info enhancements, (continued)
Re: Info enhancements, Karl Berry, 2003/12/06
Re: Info enhancements, Karl Berry, 2003/12/12
Re: Info enhancements, Juri Linkov, 2003/12/12
- Re: Info enhancements, Richard Stallman, 2003/12/13
- Re: Info enhancements, Juri Linkov, 2003/12/15
- Re: Info enhancements, Richard Stallman, 2003/12/16
- Re: Info enhancements, Juri Linkov, 2003/12/17
- Re: Info enhancements, Richard Stallman, 2003/12/18
- Re: Info enhancements, Luc Teirlinck, 2003/12/19
- Re: Info enhancements, Juri Linkov, 2003/12/20
Re: Info enhancements, Eli Zaretskii, 2003/12/13