[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.

reply via email to

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