[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: |
Mon, 25 Jan 2021 09:36:14 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> IIRC the way to deal with it was that if the next event after a
> newline-and-indent is *not* a self-insert-command, then empty whitespace
> on that line should have be cleaned up.
I don't think there's ever been such a behavior in Emacs's defaults.
But I'd welcome patches which implement that functionality (tho
I don't think it should special case `self-insert-command`).
Dmitry mentions:
> I've always had to use a third-party mode to clean up that whitespace, such
> as https://github.com/purcell/whitespace-cleanup-mode (most recently).
The problem with `whitespace-cleanup-mode` is that it's global.
I'd like something that only operates locally, i.e. only touches lines
you've modified.
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/23
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 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/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 <=
- 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
- Re: newline-and-indent vs. electric-indent-mode, Stefan Monnier, 2021/01/25
- Re: newline-and-indent vs. electric-indent-mode, martin rudalics, 2021/01/26
- Re: newline-and-indent vs. electric-indent-mode, Eli Zaretskii, 2021/01/24
Re: newline-and-indent vs. electric-indent-mode, Harald Jörg, 2021/01/22