Subject: Variable ediff-auto-refine doesn't always default to "on"
From: Peter Oliver <[email-masked]>
To: [email-masked]
Date: Fri, 5 May 2023 21:21:50 +0100 (BST)
List-Id: <debbugs-submit.debbugs.gnu.org>

Severity: minor
Tags: patch

Document that variable ediff-auto-refine doesn't always default to "on".

-- 
Peter Oliver

From 28b1350527adc9a9ba3575378cbac31711ffa056 Mon Sep 17 00:00:00 2001
From: Peter Oliver <[email-masked]>
Date: Fri, 5 May 2023 21:16:51 +0100
Subject: [PATCH] Variable ediff-auto-refine doesn't always default to "on"
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* doc/misc/ediff.texi (Refinement of Difference Regions): mention that
“on” is the default for ediff-auto-refine only on suitable displays.
---
 doc/misc/ediff.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/misc/ediff.texi b/doc/misc/ediff.texi
index ce6cb8c9bd6..82bb03fe201 100644
--- a/doc/misc/ediff.texi
+++ b/doc/misc/ediff.texi
@@ -1783,7 +1783,7 @@ Refinement of Difference Regions
 @vindex ediff-auto-refine
 This variable controls whether fine differences within regions are
 highlighted automatically (``auto-refining'').  The default is yes
-(@samp{on}).
+(@samp{on}) on suitable displays.
 
 On a slow machine, automatic refinement may be painful.  In that case,
 you can turn auto-refining on or off interactively by typing
-- 
2.40.1