[Top][All Lists]

[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: Thu, 21 Jun 2018 17:39:06 +0300

> From: Noam Postavsky <address@hidden>
> Cc: Dmitry Gutov <address@hidden>,  address@hidden
> Date: Wed, 20 Jun 2018 20:19:16 -0400
> >> 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:

Fine with me, but I'd prefer a comment in the code explaining why we
catch errors here.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]