diff options
| author | Glenn Morris | 2020-01-16 21:55:14 -0800 |
|---|---|---|
| committer | Glenn Morris | 2020-01-16 21:55:14 -0800 |
| commit | 278f1f9c0a2efb5164bf57f4a78c58652ce2928c (patch) | |
| tree | 412b3fef2b2c873072d90da2287576e86db04a4c | |
| parent | e135414b271e71c16e28efc2e3f29b803ab67424 (diff) | |
| download | emacs-278f1f9c0a2efb5164bf57f4a78c58652ce2928c.tar.gz emacs-278f1f9c0a2efb5164bf57f4a78c58652ce2928c.zip | |
* doc/misc/ido.texi (Ignoring): Reword per Texinfo warning.
| -rw-r--r-- | doc/misc/ido.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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. | |||
| 590 | Go ahead and add all the useless object files, backup files, shared | 590 | Go ahead and add all the useless object files, backup files, shared |
| 591 | library files and other computing flotsam you don't want Ido to show. | 591 | library files and other computing flotsam you don't want Ido to show. |
| 592 | 592 | ||
| 593 | @strong{Note:} Ido will still complete the ignored elements | 593 | @strong{Please note:} Ido will still complete the ignored elements |
| 594 | if it would otherwise not show any other matches. So if you type out | 594 | if it would otherwise not show any other matches. So if you type out |
| 595 | the name of an ignored file, Ido will still let you open it just fine. | 595 | the name of an ignored file, Ido will still let you open it just fine. |
| 596 | 596 | ||