[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Turning on savehist-mode by default
From: |
Eli Zaretskii |
Subject: |
Re: [External] : Turning on savehist-mode by default |
Date: |
Mon, 20 Nov 2023 21:16:31 +0200 |
> From: Drew Adams <drew.adams@oracle.com>
> CC: "manuel@ledu-giraud.fr" <manuel@ledu-giraud.fr>,
> "yuri.v.khan@gmail.com"
> <yuri.v.khan@gmail.com>,
> "juri@linkov.net" <juri@linkov.net>,
> "philipk@posteo.net" <philipk@posteo.net>,
> "sbaugh@catern.com"
> <sbaugh@catern.com>,
> "emacs-devel@gnu.org" <emacs-devel@gnu.org>
> Date: Mon, 20 Nov 2023 18:54:47 +0000
>
> > > > ... desktop-globals-to-save ...
> > >
> > > FWIW, that option shouldn't be named `...globals...'.
> > > It should be named something like `...variables...'
> > > or `...vars...'.
> >
> > There's also desktop-locals-to-save.
>
> "globals" and "locals" isn't clear, IMHO,
They are crystal clear IMO.
> and isn't very discoverable (e.g. with apropos).
I don't see why they should be discoverable via apropos. They are
minor features of desktop.el, and therefore should be discovered
either via customize-group or by simply searching desktop.el for
"defcustom".
- Re: [External] : Turning on savehist-mode by default, (continued)
- Re: [External] : Turning on savehist-mode by default, Spencer Baugh, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Manuel Giraud, 2023/11/20
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/20
- Re: [External] : Turning on savehist-mode by default, Manuel Giraud, 2023/11/20
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/20
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/23
- Re: [External] : Turning on savehist-mode by default, Manuel Giraud, 2023/11/23
- RE: [External] : Turning on savehist-mode by default, Drew Adams, 2023/11/20
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/20
- RE: [External] : Turning on savehist-mode by default, Drew Adams, 2023/11/20
- Re: [External] : Turning on savehist-mode by default,
Eli Zaretskii <=
- RE: [External] : Turning on savehist-mode by default, Drew Adams, 2023/11/19
- RE: [External] : Turning on savehist-mode by default, Drew Adams, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Visuwesh, 2023/11/19
- Re: Turning on savehist-mode by default, sbaugh, 2023/11/19
- Re: Turning on savehist-mode by default, Po Lu, 2023/11/19