[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Info enhancements

From: Eli Zaretskii
Subject: Re: Info enhancements
Date: Wed, 10 Dec 2003 09:37:01 +0200

> From: Richard Stallman <address@hidden>
> Date: Tue, 09 Dec 2003 16:48:31 -0500
> If we conclude that we must leave it off by default, in effect
> we are concluding it is a failure.

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.  So I don't think every option that's
off by default means a failure.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]