GNU bug report logs - #18764
24.4; electric-indent in *scratch* signals an error

Previous Next

Full log

Message #36 received at 18764 <at> debbugs.gnu.org (full text, mbox):

From: Noam Postavsky <npostavs <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 18764 <at> debbugs.gnu.org, Dmitry Gutov <dgutov <at> yandex.ru>
Subject: Re: bug#18764: 24.4; electric-indent in *scratch* signals an error
Date: Wed, 20 Jun 2018 20:19:16 -0400

[Message part 1 (text/plain, inline)]

tags 18764 + patch
quit

Eli Zaretskii <eliz <at> gnu.org> writes:

>> 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.

We can be a little more discriminating than my initial blanket
`ignore-errors', see commit message in the attached patch:

[v2-0001-Suppress-indent-errors-during-electric-indentatio.patch (text/plain, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.