[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Two new entries in menu-bar's Tools menu
From: |
Richard Stallman |
Subject: |
Re: Two new entries in menu-bar's Tools menu |
Date: |
Fri, 15 Feb 2002 03:36:31 -0700 (MST) |
> Shouldn't that be on the Options menu?
The problem here is that we have things connected with spelling in Tools
menu. Also note, that flyspell-mode is not customizable option. It is
normal minor mode which already can be activated via mouse-3 menu on the
mode-line. I think that Tools menu is the right place for this if we want
it in the menu at all.
Conceptually speaking, it is an option, so it belongs in the options
menu if anywhere.
- Two new entries in menu-bar's Tools menu, Eli Zaretskii, 2002/02/13
- Re: Two new entries in menu-bar's Tools menu, Kim F. Storm, 2002/02/13
- Re: Two new entries in menu-bar's Tools menu, Pavel JanÃk, 2002/02/14
- Re: Two new entries in menu-bar's Tools menu, Per Abrahamsen, 2002/02/14
- Re: Two new entries in menu-bar's Tools menu, Richard Stallman, 2002/02/15
- Re: Two new entries in menu-bar's Tools menu, Per Abrahamsen, 2002/02/15
- Re: Two new entries in menu-bar's Tools menu, Stefan Monnier, 2002/02/15
- Re: Two new entries in menu-bar's Tools menu, Richard Stallman, 2002/02/16
- Re: Two new entries in menu-bar's Tools menu, Per Abrahamsen, 2002/02/17
- Re: Two new entries in menu-bar's Tools menu, Richard Stallman, 2002/02/17
- Re: Two new entries in menu-bar's Tools menu,
Richard Stallman <=
Re: Two new entries in menu-bar's Tools menu, Eli Zaretskii, 2002/02/14
Re: Two new entries in menu-bar's Tools menu, Richard Stallman, 2002/02/14
Re: Two new entries in menu-bar's Tools menu, Eli Zaretskii, 2002/02/14
Re: Two new entries in menu-bar's Tools menu, Miles Bader, 2002/02/14
Re: Two new entries in menu-bar's Tools menu, Richard Stallman, 2002/02/15