[Top][All Lists]

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

Re: checkdoc (was: mh-e 6.2 imminent)

From: Richard Stallman
Subject: Re: checkdoc (was: mh-e 6.2 imminent)
Date: Sat, 26 Oct 2002 16:15:38 -0400

    Given Miles' statistics, that's +300 face names to be changed!

    Since some (many?) of those are user customizeable, changing their
    name would be problematic -- so I suggest leaving things as they are!

We could make an alias mechanism for faces.

reply via email to

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