GNU bug report logs - #63318
Variable ediff-auto-refine doesn't always default to "on"

Previous Next

Full log

View this message in rfc822 format

From: Peter Oliver <p.d.oliver <at> mavit.org.uk>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 63318 <at> debbugs.gnu.org
Subject: bug#63318: Variable ediff-auto-refine doesn't always default to "on"
Date: Mon, 8 May 2023 11:26:47 +0100 (BST)

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

On Sat, 6 May 2023, Eli Zaretskii wrote:

>> Date: Fri, 5 May 2023 21:21:50 +0100 (BST)
>> From: Peter Oliver <p.d.oliver <at> mavit.org.uk>
>>
>> Document that variable ediff-auto-refine doesn't always default to "on".
>
> Wouldn't it be better to instead fix this, so that the default is
> always "on"?
>
> Why doesn't Ediff turn on ediff-auto-refine for all terminals?
> AFAICT, it only needs faces (basically, colors), and we support that
> on all terminals nowadays?  So I think we should simply change the
> default value (which will also solve bug#63317).  Or what am I
> missing?

I assumed that this complication was present because there exist displays on which auto-refinement isn’t desirable.

If that’s no-longer the case, then great, simplifying the default to always be “on” certainly sounds like the best way to go to me.  Attached is a patch to do that instead.

-- 
Peter Oliver

[0001-Always-default-ediff-auto-refine-to-on.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.