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

Previous Next

Full log

Message #8 received at 63318 <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 <at> debbugs.gnu.org
Subject: Re: bug#63318: Variable ediff-auto-refine doesn't always default to
 "on"
Date: Sat, 06 May 2023 09:17:27 +0300

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

Previous Next

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