[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [External] : Re: Turning on savehist-mode by default
From: |
Drew Adams |
Subject: |
RE: [External] : Re: Turning on savehist-mode by default |
Date: |
Sun, 17 Dec 2023 22:34:37 +0000 |
> >>>> 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,
> >
> > I'm guessing you mean to say that turning
> > everything ON by default provides the
> > least inconvenience?
>
> Not at all.
Then please say what you did mean.
At the outset, "it's" == "switching it on by
default can help with discovering it".
Then, in my "it's true of _everything_ that
is off by default", "it's" == same thing:
ON by default can help with discovery.
But in your "it's a counter-argument to the
principle of the least inconvenience", just
what is "it's"?
If you mean the same thing by your "it's"
as was meant in the previous posts, then I
can only guess that you're saying that
"switching it on by default can help with
discovering it" is "a counter-argument to
the principle of least inconvenience".
Is that really what you meant?
I'd think that helping discovery is an
_argument_, not a counter-argument, for
least inconvenience. (But again, what is
that principle?)
- 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, 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, 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, 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 <=
- 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