From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Richard Stallman Newsgroups: gmane.emacs.devel Subject: Re: checkdoc (was: mh-e 6.2 imminent) Date: Sat, 26 Oct 2002 16:15:38 -0400 Sender: emacs-devel-admin@gnu.org Message-ID: References: <200210210726.g9L7QI1l014171@gbr.newt.com> <200210231948.g9NJmdBG015635@gbr.newt.com> <200210240725.g9O7PKI11467@rum.cs.yale.edu> <200210240928.g9O9Sjs12808@rum.cs.yale.edu> <5x65vsozso.fsf@kfs2.cua.dk> <20021024144551.GA9747@gnu.org> <5xsmyvolsh.fsf@kfs2.cua.dk> <5xvg3qyiqp.fsf@kfs2.cua.dk> Reply-To: rms@gnu.org NNTP-Posting-Host: main.gmane.org X-Trace: main.gmane.org 1035663950 13373 80.91.224.249 (26 Oct 2002 20:25:50 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Sat, 26 Oct 2002 20:25:50 +0000 (UTC) Cc: miles@gnu.org, monnier+gnu/emacs@rum.cs.yale.edu, miles@lsi.nec.co.jp, wohler@newt.com, emacs-devel@gnu.org, mh-e-devel@lists.sourceforge.net Return-path: Original-Received: from quimby.gnus.org ([80.91.224.244]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 185XVD-0003TN-00 for ; Sat, 26 Oct 2002 22:25:47 +0200 Original-Received: from monty-python.gnu.org ([199.232.76.173]) by quimby.gnus.org with esmtp (Exim 3.12 #1 (Debian)) id 185XYW-0002Ai-00 for ; Sat, 26 Oct 2002 22:29:12 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 185XOK-0007Cv-00; Sat, 26 Oct 2002 16:18:40 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 185XNB-0006Z3-00 for emacs-devel@gnu.org; Sat, 26 Oct 2002 16:17:29 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 185XN5-0006W3-00 for emacs-devel@gnu.org; Sat, 26 Oct 2002 16:17:29 -0400 Original-Received: from fencepost.gnu.org ([199.232.76.164]) by monty-python.gnu.org with esmtp (Exim 4.10) id 185XLT-0005iC-00 for emacs-devel@gnu.org; Sat, 26 Oct 2002 16:15:43 -0400 Original-Received: from rms by fencepost.gnu.org with local (Exim 4.10) id 185XLO-0002Rf-00; Sat, 26 Oct 2002 16:15:38 -0400 Original-To: storm@cua.dk In-reply-to: <5xvg3qyiqp.fsf@kfs2.cua.dk> (storm@cua.dk) Errors-To: emacs-devel-admin@gnu.org X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Emacs development discussions. List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.devel:8820 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:8820 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.