[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: |
Thu, 17 Dec 2020 16:44:38 +0100 |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Robert Pluim <rpluim@gmail.com>
>> Cc: emacs-devel@gnu.org
>> Date: Thu, 17 Dec 2020 09:20:32 +0100
>>
>> > What's wrong with Options->Save Options?
>>
>> Nothing, except that people have been conditioned to expect that
>> changes in options get saved automatically, so we could do that for
>> them if they make the changes via the menus.
>
> Not sure I'd like it: it would make it harder to try an option without
> committing to using it.
>
Yes, but as I said: itʼs what people have been conditioned to
expect. Or we could limit it to only visual things like
toolbars,scrollbars etc.
>> 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 guess we could add another separator above it.
Robert
- Re: Emacs Survey: Toolbars, (continued)
- Re: Emacs Survey: Toolbars, Eli Zaretskii, 2020/12/15
- 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 <=
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/17
- Re: Emacs Survey: Toolbars, Gregory Heytings, 2020/12/17
- Re: Emacs Survey: Toolbars, Robert Pluim, 2020/12/18
- 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