[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: |
Sun, 19 Nov 2023 06:56:57 +0000 |
> > > >> I wouldn't dismiss the proposal to enable it by default.
> > > >
> > > > I don't dismiss it.
> > >
> > > So you don't oppose enabling savehist-mode by default?
> >
> > I don't _dismiss_ it.
>
> You are splitting hair. Philip is not a native English speaker, and
> he obviously meant "reject" when he said "dismiss".
Did he, obviously? Then my showing the definition
of `dismiss' might hopefully have helped.
I don't _reject_ it either. (Not that it's in my
power to do that. The most I could do is disagree
with it.)
I may in fact be the only person who's even been
considering it. No one else has spoken up so far.
I haven't seen a good reason to turn it ON by
default - so far. But maybe there is one. I've
made clear that I myself use savehist and I often
recommend it.
Persisting minibuffer input has been opt-in, so
far. I do think it's generally advisable for
users to be aware that what they type will be
persisted, when that's the case.
That applies to input history, search history,
bookmarks, mail drafts, etc. Automatically
saving predefined thingies (e.g. Customize
settings) is less problematic in this regard
than saving arbitrary typed text/input.
This might be only a minor consideration -
dunno. What do you think should be considered
when weighing the proposal?
- Turning on savehist-mode by default, sbaugh, 2023/11/18
- RE: [External] : Turning on savehist-mode by default, Drew Adams, 2023/11/18
- Re: [External] : Turning on savehist-mode by default, Philip Kaludercic, 2023/11/18
- Re: [External] : Turning on savehist-mode by default, Juri Linkov, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Yuri Khan, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Yuri Khan, 2023/11/19
- Re: [External] : Turning on savehist-mode by default, Eli Zaretskii, 2023/11/19
- 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