changeset 97124:83d7317f85ef

Document read-file-name-completion-ignore-case and read-buffer-completion-ignore-case.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 30 Jul 2008 15:31:59 +0000
parents 2f70fde56dfe
children b9e8c24ab210
files etc/NEWS
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/etc/NEWS	Wed Jul 30 15:29:06 2008 +0000
+++ b/etc/NEWS	Wed Jul 30 15:31:59 2008 +0000
@@ -354,6 +354,12 @@
 wraps to the first history element.  When the search is terminated, the
 history element containing the search string becomes the current.
 
+*** The variable read-file-name-completion-ignore-case overrides
+completion-ignore-case for file name completion.
+
+*** The variable read-buffer-completion-ignore-case overrides
+completion-ignore-case for buffer name completion.
+
 ** Face changes
 
 *** S-down-mouse-1 now pops up a menu for changing the font and text