From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Turn vs. toggle in Show/Hide tooltips Date: Mon, 13 May 2002 13:27:31 +0300 (IDT) Sender: emacs-devel-admin@gnu.org Message-ID: References: <20020513105711.8E80.LEKTU@terra.es> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: main.gmane.org 1021285826 4992 127.0.0.1 (13 May 2002 10:30:26 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Mon, 13 May 2002 10:30:26 +0000 (UTC) Cc: 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 177D61-0001IP-00 for ; Mon, 13 May 2002 12:30:25 +0200 Original-Received: from fencepost.gnu.org ([199.232.76.164]) by quimby.gnus.org with esmtp (Exim 3.12 #1 (Debian)) id 177DGX-00036C-00 for ; Mon, 13 May 2002 12:41:17 +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 177D5t-00034k-00; Mon, 13 May 2002 06:30:17 -0400 Original-Received: from is.elta.co.il ([199.203.121.2]) by fencepost.gnu.org with esmtp (Exim 3.34 #1 (Debian)) id 177D4w-0002yJ-00 for ; Mon, 13 May 2002 06:29:19 -0400 Original-Received: from is (is [199.203.121.2]) by is.elta.co.il (8.9.3/8.8.8) with SMTP id NAA11503; Mon, 13 May 2002 13:27:32 +0300 (IDT) X-Sender: eliz@is Original-To: Juanma Barranquero In-Reply-To: <20020513105711.8E80.LEKTU@terra.es> 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:3871 X-Report-Spam: http://spam.gmane.org/gmane.emacs.devel:3871 On Mon, 13 May 2002, Juanma Barranquero wrote: > Tooltips for Options -> Show/Hide -> > > - Tool-bar : "Turn tool-bar on/off" > - Menu-bar : "Toggle menu-bar on/off" > - Scroll-bar -> None : "Turn off scroll-bar" > > Is that on purpose? No, it's a bug.