|
| From: | Harald Hanche-Olsen |
| Subject: | bug#12615: 24.2.50; Non-ignored case in insert-char |
| Date: | Thu, 11 Oct 2012 08:37:29 +0200 (CEST) |
[Stefan Monnier <monnier@iro.umontreal.ca> (2012-10-11 00:56:00 UTC)] > Indeed, a buffer-local setting of completion-ignore-case can > bring surprises. I think the patch below will fix this problem for this > particular case. Indeed it does. I think that patch is worth committing. - Harald
| [Prev in Thread] | Current Thread | [Next in Thread] |