[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 14:23:50 +0200 |
> From: Manuel Giraud <manuel@ledu-giraud.fr>
> Cc: Yuri Khan <yuri.v.khan@gmail.com>, juri@linkov.net,
> drew.adams@oracle.com, philipk@posteo.net, sbaugh@catern.com,
> emacs-devel@gnu.org
> Date: Mon, 20 Nov 2023 10:53:46 +0100
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> Is it though? I’m using ‘desktop-save-mode’, not observing
> >> preservation of histories, and not seeing any user option in the
> >> Desktop group that would shout to me “enable this to save all
> >> histories”. I see ‘file-name-history’ in ‘desktop-globals-to-save’ but
> >> I wouldn’t like to whitelist all the histories I care about.
> >
> > Why not? I do precisely that, FWIW. It's a one-time configuration,
> > so not a lot of effort.
>
> I'm curious. What desktop save option did you set for this?
I customize desktop-globals-to-save. It has file-name-history by
default, and I add other history variables to it.
> I am currently using desktop-save *and* savehist but I could use
> just desktop-save?
I didn't study savehist too deeply, but it sounds like these
functionalities are equivalent, yes.
- RE: [External] : Turning on savehist-mode by default, (continued)
- 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 <=
- 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, 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