[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18764: 24.4; electric-indent in *scratch* signals an error
From: |
Eli Zaretskii |
Subject: |
bug#18764: 24.4; electric-indent in *scratch* signals an error |
Date: |
Mon, 18 Jun 2018 18:15:15 +0300 |
> Cc: 18764@debbugs.gnu.org
> From: Dmitry Gutov <dgutov@yandex.ru>
> Date: Mon, 18 Jun 2018 12:33:34 +0300
>
> On 6/17/18 6:48 AM, Eli Zaretskii wrote:
>
> > I submit that any errors in code that tries to indent should be
> > suppressed, as they are not relevant to what the user wanted. If
> > those errors are important in other contexts, they will pop up there,
> > and can then decide what to do with them.
>
> That's going to make user complaints like "why it doesn't indent" or "it
> doesn't indent right" harder to debug and address.
IMO, this is a lesser evil. And if it turns out to be a real problem,
we could always add a variable to control whether such errors are
silently ignored.
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/14
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Eli Zaretskii, 2018/06/16
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/16
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Eli Zaretskii, 2018/06/16
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/16
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Eli Zaretskii, 2018/06/16
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Dmitry Gutov, 2018/06/18
- bug#18764: 24.4; electric-indent in *scratch* signals an error,
Eli Zaretskii <=
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/20
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Eli Zaretskii, 2018/06/21
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/23
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Eli Zaretskii, 2018/06/24
- bug#18764: 24.4; electric-indent in *scratch* signals an error, Noam Postavsky, 2018/06/25