From 6c897494ff92284dd819175aef2b3b916b2b61f2 Mon Sep 17 00:00:00 2001 From: Chong Yidong Date: Wed, 30 Jul 2008 15:31:59 +0000 Subject: [PATCH] Document read-file-name-completion-ignore-case and read-buffer-completion-ignore-case. --- etc/NEWS | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/etc/NEWS b/etc/NEWS index 1050c9530b2..53a8d9f0fdf 100644 --- a/etc/NEWS +++ b/etc/NEWS @@ -354,6 +354,12 @@ element, it wraps to the last history element, and the forward search 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 -- 2.39.2