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

[Peter Oliver]

On Sat, 6 May 2023, Eli Zaretskii wrote:

> > Date: Fri, 5 May 2023 21:21:50 +0100 (BST)
> > From: Peter Oliver <p.d.oliver@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
Description: Text document