[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [External] : Turning on savehist-mode by default
From: |
Drew Adams |
Subject: |
RE: [External] : Turning on savehist-mode by default |
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, and
isn't very discoverable (e.g. with apropos).
They should be named something like
`...global-vars...' and `...buffer-local-vars...'.
"Local" variables as opposed to global doesn't
necessarily (or even normally) mean _buffer_
local. (But saving other kinds of local vars
doesn't make sense, admittedly.)
More generally, anything having to do with
"buffer local" should include "buffer" in the
name, especially if the context doesn't make
clear that this is what's meant.
Same for directory-local, file-local, and
connection-local vars.
Note that at least the options etc. for those
use the word "variables" in the name. We don't
use a name such as just `ignored-locals'.
It is, however, true that we've omitted `file'
from the names of several file-local names,
such as `ignored-local-variables'. It would
be better for those too to include `file' in
the name.
- Re: [External] : Turning on savehist-mode by default, (continued)
- 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, 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 <=
- 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/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
Re: Turning on savehist-mode by default, Dmitry Gutov, 2023/11/19