[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Spaces rather than tabs by a major mode hook
From: |
tomas |
Subject: |
Re: Spaces rather than tabs by a major mode hook |
Date: |
Fri, 10 Jun 2022 08:31:31 +0200 |
On Fri, Jun 10, 2022 at 02:08:29PM +0800, Po Lu wrote:
> goncholden <goncholden@protonmail.com> writes:
>
> > A superior choice would be to all TAB to be a tab by default, rather
> > than binding to some other thing, making the key non-functional.
> > RETURN could introduce indentation, but with the tab
> > key introducing a literal tab.
>
> That feels very unnatural.
Agreed.
Cheers
--
t
signature.asc
Description: PGP signature
- Re: Spaces rather than tabs by a major mode hook, (continued)
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- RE: [External] : Re: Spaces rather than tabs by a major mode hook, Drew Adams, 2022/06/09
- RE: [External] : Re: Spaces rather than tabs by a major mode hook, Drew Adams, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Tassilo Horn, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Tassilo Horn, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Po Lu, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook,
tomas <=
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10