[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.
- Re: mh-e 6.2 imminent, (continued)
- checkdoc (was: mh-e 6.2 imminent), Stefan Monnier, 2002/10/24
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/24
- Re: checkdoc (was: mh-e 6.2 imminent), Miles Bader, 2002/10/24
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/24
- Re: checkdoc (was: mh-e 6.2 imminent), Miles Bader, 2002/10/24
- Re: checkdoc (was: mh-e 6.2 imminent), Richard Stallman, 2002/10/25
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/25
- Re: checkdoc (was: mh-e 6.2 imminent),
Richard Stallman <=
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/26
- Re: checkdoc (was: mh-e 6.2 imminent), Richard Stallman, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Henrik Enberg, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Miles Bader, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Richard Stallman, 2002/10/29
- Re: checkdoc (was: mh-e 6.2 imminent), Miles Bader, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Miles Bader, 2002/10/28
- Re: checkdoc (was: mh-e 6.2 imminent), Kim F. Storm, 2002/10/28