From 278f1f9c0a2efb5164bf57f4a78c58652ce2928c Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Thu, 16 Jan 2020 21:55:14 -0800 Subject: [PATCH] * doc/misc/ido.texi (Ignoring): Reword per Texinfo warning. --- doc/misc/ido.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/misc/ido.texi b/doc/misc/ido.texi index 74d0bdd29fc..7cc4edd2865 100644 --- a/doc/misc/ido.texi +++ b/doc/misc/ido.texi @@ -590,7 +590,7 @@ Now you can customize @code{completion-ignored-extensions} as well. Go ahead and add all the useless object files, backup files, shared library files and other computing flotsam you don't want Ido to show. -@strong{Note:} Ido will still complete the ignored elements +@strong{Please note:} Ido will still complete the ignored elements if it would otherwise not show any other matches. So if you type out the name of an ignored file, Ido will still let you open it just fine. -- 2.39.2