GNU bug report logs - #63438
30.0.50; abbrev mode wrongly capitalizes with mixed capitalized words

Previous Next

Full log

Message #16 received at 63438 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Daniel Fleischer <danflscr <at> gmail.com>
Cc: 63438 <at> debbugs.gnu.org
Subject: Re: bug#63438: 30.0.50; abbrev mode wrongly capitalizes with mixed
 capitalized words
Date: Thu, 11 May 2023 13:39:50 +0300

> From: Daniel Fleischer <danflscr <at> gmail.com>
> Cc: 63438 <at> debbugs.gnu.org
> Date: Thu, 11 May 2023 12:00:39 +0300
> 
> 
> Eli Zaretskii [2023-05-11 Thu 11:29] wrote:
> 
> > What did you expect to happen instead?
> 
> I would expect *nothing* to happen; abbrev is key-value mapping; you
> write a key and it replaces it with a value. If you write a word
> that is not a key, you expect nothing to happen. In this case, the
> word is one of the values, and suddenly something happens,
> unexpectedly. I know realize that words are compared with keys
> ignoring the case, but using the case in the expansion. Still, if a
> user writes a word identical to one the abbrev "keys", I would
> expect abbrev to leave it as is.

I guess there's a place for a new defcustom, under which no
case-conversion will happen at abbrev expansion time, ever.  Is that
what you want?  That is, if you have an abbrev foo -> foobarical, then
typing "Foo" or "FOO" will produce a literal "foobarical", each and
every time?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.