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: Adding to "options" menu Date: Fri, 3 May 2002 12:26:28 -0600 (MDT) Sender: emacs-devel-admin@gnu.org Message-ID: <200205031826.g43IQSG00840@aztec.santafe.edu> Reply-To: rms@gnu.org NNTP-Posting-Host: localhost.gmane.org X-Trace: main.gmane.org 1020450463 2605 127.0.0.1 (3 May 2002 18:27:43 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Fri, 3 May 2002 18:27:43 +0000 (UTC) Return-path: Original-Received: from quimby.gnus.org ([80.91.224.244]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 173hmR-0000fu-00 for ; Fri, 03 May 2002 20:27:43 +0200 Original-Received: from fencepost.gnu.org ([199.232.76.164]) by quimby.gnus.org with esmtp (Exim 3.12 #1 (Debian)) id 173hsF-0008Qm-00 for ; Fri, 03 May 2002 20:33:44 +0200 Original-Received: from localhost ([127.0.0.1] helo=fencepost.gnu.org) by fencepost.gnu.org with esmtp (Exim 3.34 #1 (Debian)) id 173hmB-0002ON-00; Fri, 03 May 2002 14:27:27 -0400 Original-Received: from pele.santafe.edu ([192.12.12.119]) by fencepost.gnu.org with esmtp (Exim 3.34 #1 (Debian)) id 173hlF-0002IC-00; Fri, 03 May 2002 14:26:29 -0400 Original-Received: from aztec.santafe.edu (aztec [192.12.12.49]) by pele.santafe.edu (8.11.6+Sun/8.9.3) with ESMTP id g43IQSk14226; Fri, 3 May 2002 12:26:28 -0600 (MDT) Original-Received: (from rms@localhost) by aztec.santafe.edu (8.10.2+Sun/8.9.3) id g43IQSG00840; Fri, 3 May 2002 12:26:28 -0600 (MDT) X-Authentication-Warning: aztec.santafe.edu: rms set sender to rms@aztec using -f Original-To: emacs-devel@gnu.org Errors-To: emacs-devel-admin@gnu.org X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.0.9 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Emacs development discussions. List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.emacs.devel:3545 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:3545 Please talk with me before adding anything to the menu bar Options menu. That menu should only have the most important of options, so I want to make sure that everything added to it really is important enough to belong there.