[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35224: [PATCH] include indentation size in .dir-locals
From: |
Basil L. Contovounesios |
Subject: |
bug#35224: [PATCH] include indentation size in .dir-locals |
Date: |
Thu, 11 Apr 2019 11:58:37 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Konstantin Kharlamov <hi-angel@yandex.ru> writes:
> On Чт, Apr 11, 2019 at 11:26, Basil L. Contovounesios <contovob@tcd.ie> wrote:
>
>> Globally setting c-basic-offset overrides the cc-mode style inheritance
>> system. There are various ways to customise this variable in a more
>> granular way, such as defining a custom style which inherits from a
>> built-in style, or setting c-basic-offset locally in a mode hook.
>> For details, see (info "(ccmode) Config Basics").
>
> Oh, okay, so this works as expected. But since googling "change indentation
> size" always gives using specifically c-basic-offset (e.g.
> https://stackoverflow.com/questions/14939608/how-to-change-emacs-struct-indents-from-4-to-2-spaces),
> I guess it's safe to assume most of Emacs users has it changed. So it's useful
> to add this to dir-locals anyway.
IMO, that's a bug in the configuration of those users because they're
overriding how cc-mode works, and the cc-mode manual describes in detail
the various ways to customise indentation. So I don't see a need to
change the Emacs dir-locals-file to accommodate this use-case.
But that's just one opinion, and I'm not familiar with prevailing policy
on what to add to the Emacs dir-locals-file.
--
Basil
- bug#35224: [PATCH] include indentation size in .dir-locals, Konstantin Kharlamov, 2019/04/10
- bug#35224: [PATCH] include indentation size in .dir-locals, Basil L. Contovounesios, 2019/04/10
- bug#35224: [PATCH] include indentation size in .dir-locals, Konstantin Kharlamov, 2019/04/11
- bug#35224: [PATCH] include indentation size in .dir-locals, Basil L. Contovounesios, 2019/04/11
- bug#35224: [PATCH] include indentation size in .dir-locals, Konstantin Kharlamov, 2019/04/11
- bug#35224: [PATCH] include indentation size in .dir-locals,
Basil L. Contovounesios <=
- bug#35224: [PATCH] include indentation size in .dir-locals, Eli Zaretskii, 2019/04/11
- bug#35224: [PATCH] include indentation size in .dir-locals, Konstantin Kharlamov, 2019/04/11
- bug#35224: [PATCH] include indentation size in .dir-locals, Basil L. Contovounesios, 2019/04/11