[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Emacs Survey: Toolbars
From: |
Robert Pluim |
Subject: |
Re: Emacs Survey: Toolbars |
Date: |
Fri, 18 Dec 2020 10:10:13 +0100 |
Gregory Heytings via "Emacs development discussions."
<emacs-devel@gnu.org> writes:
>>> On a related note, perhaps 'save options' should be the last entry
>>> in the Options menu, to make it stand out more.
>>
>> Its current place is what it is because the items below it don't
>> belong to "Options" saved by "Save Options". We could add some
>> delimiter to make that more evident, but it isn't like the place is
>> random or not well thought of.
>>
>
> I'd suggest to give that menu entry a more explicit name, "Save
> Options Above" or "Save Above Options", with a separator above
> (apparently that one is already present) and below.
"Save Changed Options"? I feel like I may have unwisely wandered too
close to the bike shed here. :-)
Robert
- Re: Emacs Survey: Toolbars, (continued)
- Re: Emacs Survey: Toolbars, Christopher Dimech, 2020/12/15
- Re: Emacs Survey: Toolbars, Lars Ingebrigtsen, 2020/12/16
- Re: Emacs Survey: Toolbars, Eli Zaretskii, 2020/12/16
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/16
- Re: Emacs Survey: Toolbars, Eli Zaretskii, 2020/12/16
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/17
- Re: Emacs Survey: Toolbars, Eli Zaretskii, 2020/12/17
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/17
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/17
- Re: Emacs Survey: Toolbars, Gregory Heytings, 2020/12/17
- Re: Emacs Survey: Toolbars,
Robert Pluim <=
- RE: Emacs Survey: Toolbars, Drew Adams, 2020/12/17
- Re: Emacs Survey: Toolbars, Alfred M. Szmidt, 2020/12/17
- Re: Emacs Survey: Toolbars, Christopher Dimech, 2020/12/17
- Re: Emacs Survey: Toolbars, Richard Stallman, 2020/12/18
- RE: Emacs Survey: Toolbars, Drew Adams, 2020/12/18
- Re: RE: Emacs Survey: Toolbars, Christopher Dimech, 2020/12/18
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/18
- Re: Emacs Survey: Toolbars, Christopher Dimech, 2020/12/18
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/18
- RE: Emacs Survey: Toolbars, Drew Adams, 2020/12/18