[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#12615: 24.2.50; Non-ignored case in insert-char
|
From: |
Stefan Monnier |
|
Subject: |
bug#12615: 24.2.50; Non-ignored case in insert-char |
|
Date: |
Mon, 07 Jan 2013 22:19:30 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
> Maybe to fix all them at once, `read_minibuf' should make
> a local variable `completion-ignore-case' in the minibuffer
> and copy its value from the original buffer?
That might be a good idea.
I'd guess only completing-read would need to do it, rather than
read_minibuf.
Tho we might still want to make it possible to specify case-irrelevance
in the completion table itself.
Stefan