[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Spaces rather than tabs by a major mode hook
From: |
goncholden |
Subject: |
Re: Spaces rather than tabs by a major mode hook |
Date: |
Sun, 12 Jun 2022 07:54:48 +0000 |
------- Original Message -------
On Sunday, June 12th, 2022 at 7:18 PM, Po Lu <luangruo@yahoo.com> wrote:
> goncholden goncholden@protonmail.com writes:
>
> > Correct. It is much better than the easy dodging of the problem that
> > insists on reformatting the whole codebase so as to adhere with some
> > design spucification of an editor. Because the attitude of some of
> > the current maintainers is that if I do not like it, choose another
> > editor so we can continue with our way of doing things.
>
>
> Nowhere did you explain that your problem was with electric
> indentation. Your question was about changing the value of
> indent-tabs-mode from a major mode hook.
I only figured it out a few hours ago what could be happening. There are many
things going on that are enabled by default.
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, (continued)
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/12
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/12
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/12
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, Po Lu, 2022/06/12
- Re: [External] : Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook, Po Lu, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook, Po Lu, 2022/06/12
- Re: Spaces rather than tabs by a major mode hook,
goncholden <=
- Netiquette is way to go, Jean Louis, 2022/06/12
- Re: Netiquette is way to go, goncholden, 2022/06/12
- Re: Netiquette is way to go, Jean Louis, 2022/06/13
- Re: Netiquette is way to go, goncholden, 2022/06/13
- Re: Netiquette is way to go, Emanuel Berg, 2022/06/13
- Re: Netiquette is way to go, Po Lu, 2022/06/13
- Re: Netiquette is way to go, Emanuel Berg, 2022/06/13
- Re: Netiquette is way to go, Jean Louis, 2022/06/13
- Re: Netiquette is way to go, goncholden, 2022/06/13
- Re: Netiquette is way to go, Po Lu, 2022/06/13