[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [External] : Re: Turning on savehist-mode by default
From: |
Juergen Fenn |
Subject: |
Re: [External] : Re: Turning on savehist-mode by default |
Date: |
Sun, 17 Dec 2023 22:47:25 +0100 |
User-agent: |
Mozilla Thunderbird |
Am 17.12.23 um 22:16 Uhr schrieb Dmitry Gutov:
> On 17/12/2023 23:12, Drew Adams wrote:
>>> switching it on by default can help with discovering it.
>> If true (and it likely is), then it's true
>> of_everything_ that is off by default.
>
> Yes, it is.
>
> But it's a counter-argument to the principle of the least inconvenience,
> presented by Juergen. Not an absolute principle.
Right. Generally, I agree to Drew's point of view. But on the other
hand, what would be an advantage of switching on savehist mode by
default? Maybe it would make it easier for users of other editors to
switch to Emacs because savehist mode provides a feature they are used
to and they could miss. This might be a good point indeed.
Regards,
Jürgen.
- Re: Turning on savehist-mode by default, (continued)
- Re: Turning on savehist-mode by default, Eli Zaretskii, 2023/12/17
- Re: Turning on savehist-mode by default, Juergen Fenn, 2023/12/17
- Re: Turning on savehist-mode by default, Eli Zaretskii, 2023/12/17
- Re: Turning on savehist-mode by default, Juergen Fenn, 2023/12/17
- Re: Turning on savehist-mode by default, Eli Zaretskii, 2023/12/17
- Re: Turning on savehist-mode by default, Dmitry Gutov, 2023/12/17
- Re: Turning on savehist-mode by default, Juergen Fenn, 2023/12/17
- Re: Turning on savehist-mode by default, Dmitry Gutov, 2023/12/17
- RE: [External] : Re: Turning on savehist-mode by default, Drew Adams, 2023/12/17
- Re: [External] : Re: Turning on savehist-mode by default, Dmitry Gutov, 2023/12/17
- Re: [External] : Re: Turning on savehist-mode by default,
Juergen Fenn <=
- RE: [External] : Re: Turning on savehist-mode by default, Drew Adams, 2023/12/17
- RE: [External] : Re: Turning on savehist-mode by default, Drew Adams, 2023/12/17
- Re: [External] : Re: Turning on savehist-mode by default, Dmitry Gutov, 2023/12/17
- RE: [External] : Re: Turning on savehist-mode by default, Drew Adams, 2023/12/17
- Re: Turning on savehist-mode by default, Po Lu, 2023/12/17
- Re: Turning on savehist-mode by default, Eli Zaretskii, 2023/12/17
- Re: Turning on savehist-mode by default, Eli Zaretskii, 2023/12/17
- Re: Turning on savehist-mode by default, tomas, 2023/12/17