From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Miles Bader Newsgroups: gmane.emacs.devel Subject: Re: Patch to disable links line in *info* buffer Date: 12 Jun 2002 11:53:38 +0900 Sender: emacs-devel-admin@gnu.org Message-ID: References: <87bsaos1fl.fsf@orebokech.com> <200206072322.g57NMtK27277@aztec.santafe.edu> <5xbsam1tje.fsf@kfs2.cua.dk> <200206091518.g59FIuL00222@aztec.santafe.edu> <200206102343.g5ANhlv02332@aztec.santafe.edu> <87vg8qisfw.fsf@tc-1-100.kawasaki.gol.ne.jp> <200206120232.g5C2W6G04220@aztec.santafe.edu> Reply-To: Miles Bader NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1023850643 9561 127.0.0.1 (12 Jun 2002 02:57:23 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Wed, 12 Jun 2002 02:57:23 +0000 (UTC) Cc: keichwa@gmx.net, storm@cua.dk, romain@orebokech.com, emacs-devel@gnu.org Return-path: Original-Received: from quimby.gnus.org ([80.91.224.244]) by main.gmane.org with esmtp (Exim 3.33 #1 (Debian)) id 17HyK3-0002U5-00 for ; Wed, 12 Jun 2002 04:57:23 +0200 Original-Received: from fencepost.gnu.org ([199.232.76.164]) by quimby.gnus.org with esmtp (Exim 3.12 #1 (Debian)) id 17Hyhe-0000uD-00 for ; Wed, 12 Jun 2002 05:21:47 +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 17HyJm-00039J-00; Tue, 11 Jun 2002 22:57:06 -0400 Original-Received: from tyo201.gate.nec.co.jp ([202.32.8.214]) by fencepost.gnu.org with smtp (Exim 3.34 #1 (Debian)) id 17HyHA-000333-00; Tue, 11 Jun 2002 22:54:24 -0400 Original-Received: from mailgate4.nec.co.jp ([10.7.69.193]) by TYO201.gate.nec.co.jp (8.11.6/3.7W01080315) with ESMTP id g5C2rfR29333; Wed, 12 Jun 2002 11:53:41 +0900 (JST) Original-Received: from mailsv4.nec.co.jp (mailgate51.nec.co.jp [10.7.69.196]) by mailgate4.nec.co.jp (8.11.6/3.7W-MAILGATE-NEC) with ESMTP id g5C2rem02195; Wed, 12 Jun 2002 11:53:40 +0900 (JST) Original-Received: from mcsss2.ucom.lsi.nec.co.jp ([10.30.114.133]) by mailsv4.nec.co.jp (8.11.6/3.7W-MAILSV4-NEC) with ESMTP id g5C2rd217524; Wed, 12 Jun 2002 11:53:39 +0900 (JST) Original-Received: from mcspd15.ucom.lsi.nec.co.jp (mcspd15 [10.30.114.174]) by mcsss2.ucom.lsi.nec.co.jp (8.10.2+Sun/3.7Wlsi_mx_6.0) with ESMTP id g5C2rcK02599; Wed, 12 Jun 2002 11:53:38 +0900 (JST) Original-Received: by mcspd15.ucom.lsi.nec.co.jp (Postfix, from userid 31295) id 7EA6536F2; Wed, 12 Jun 2002 11:53:38 +0900 (JST) Original-To: rms@gnu.org System-Type: i686-pc-linux-gnu Blat: Foop In-Reply-To: <200206120232.g5C2W6G04220@aztec.santafe.edu> Original-Lines: 23 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:4776 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:4776 Richard Stallman writes: > > We already have graphical navigation buttons on the tool bar. > > Thanks for the reminder! The header line must not appear at all if the > tool bar is enabled. > > That could be a good idea in addition to the above. I'm not entirely sure I understand what's being suggested. If it's that the header-line should only show up when there's no tool-bar, that's a bad idea: In addition to providing something to click on for navigation, the header-line serves to provide context, by showing the name of the adjacent nodes; in fact, I'd argue that this is it's most important function. The tool-bar, by contrast, only gives some unnamed buttons -- that's useful, but it's not nearly good enough to replace the header-line. -Miles -- .Numeric stability is probably not all that important when you're guessing.