[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: |
Thu, 11 Dec 2003 09:45:44 -0500 |
I'm not sure this is always so. Some newly introduced options are
deliberately left off by default to avoid drastic changes in the
default behavior (that would surprise users) or if we are uncertain
whether users will like them.
It is true we could leave it off by default temporarily, then ask
people to try it and do a poll. But if it isn't ultimately enabled by
default, it will be mostly a failure.
- Re: Info enhancements, (continued)
- Re: Info enhancements, Karl Berry, 2003/12/06
- Re: Info enhancements, Karl Berry, 2003/12/06
- Re: Info enhancements, Karl Berry, 2003/12/06
- Re: Info enhancements, Eli Zaretskii, 2003/12/07
- Re: Info enhancements, Luc Teirlinck, 2003/12/07
- Re: Info enhancements, Kim F. Storm, 2003/12/07
- Re: Info enhancements, Juri Linkov, 2003/12/08
- Re: Info enhancements, Richard Stallman, 2003/12/09
- Re: Info enhancements, Eli Zaretskii, 2003/12/10
- Re: Info enhancements,
Richard Stallman <=
Re: Info enhancements, Karl Berry, 2003/12/06
Re: Info enhancements, Karl Berry, 2003/12/12
Re: Info enhancements, Juri Linkov, 2003/12/12