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

Previous Next

Full log

Message #16 received at 63318-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Peter Oliver <p.d.oliver <at> mavit.org.uk>
Cc: 63318-done <at> debbugs.gnu.org
Subject: Re: bug#63318: Variable ediff-auto-refine doesn't always default to
 "on"
Date: Sat, 13 May 2023 17:02:14 +0300

> Date: Mon, 8 May 2023 11:26:47 +0100 (BST)
> From: Peter Oliver <p.d.oliver <at> mavit.org.uk>
> cc: 63318 <at> debbugs.gnu.org
> 
> > 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.

Thanks, installed on the master branch (after applying the necessary
fix).

Closing the bug.

Previous Next

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