[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: newline-and-indent vs. electric-indent-mode
From: |
Stefan Monnier |
Subject: |
Re: newline-and-indent vs. electric-indent-mode |
Date: |
Sun, 24 Jan 2021 00:29:55 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> All right, filed as bug#46064.
Thanks.
>> I think `electric-indent-mode` is annoying in any case if the
>> indentation code disagrees with your style.
> True, but my present complaint is about it being annoying *twice* for the
> same line. And if it's being annoying while point is still on that line,
> it's marginally easier to fix.
BTW, I just want to clarify that while I'm to be blamed for the current
behavior, I'm perfectly happy if someone wants to change it.
My main goal was to consolidate all those major modes's ad-hoc
auto-indent (typically by binding RET to `newline-and-indent`) into
a global user config, and that's done.
Stefan
- Re: newline-and-indent vs. electric-indent-mode, (continued)
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/22
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/23
- Re: newline-and-indent vs. electric-indent-mode,
Stefan Monnier <=
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/24
- Re: newline-and-indent vs. electric-indent-mode, Madhu, 2021/01/24
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/24
- Re: newline-and-indent vs. electric-indent-mode, Madhu, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Rudolf Schlatte, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, Dmitry Gutov, 2021/01/25