From 28b1350527adc9a9ba3575378cbac31711ffa056 Mon Sep 17 00:00:00 2001 From: Peter Oliver 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