[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#63438: 30.0.50; abbrev mode wrongly capitalizes with mixed capitaliz
From: |
Daniel Fleischer |
Subject: |
bug#63438: 30.0.50; abbrev mode wrongly capitalizes with mixed capitalized words |
Date: |
Thu, 11 May 2023 10:10:40 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Recipe for recreating:
- Add some abbrev definition with mixed capitalization, e.g. "abc"
should expand to "aBC".
- Enable abbrev-mode.
- Write "aBC".
- Upon pressing space, abbrev-mode converts it into "ABC".
There is a code section in `abbrev-insert' that explicitly capitalizes
the first letter; I'm sure it's there for a reason but I think the
behavior I showed is unexpected. As for the example "aBC", there are
real use cases, just to mention one "iPhone".
--
Daniel Fleischer
- bug#63438: 30.0.50; abbrev mode wrongly capitalizes with mixed capitalized words,
Daniel Fleischer <=
bug#63438: 30.0.50; abbrev mode wrongly capitalizes with mixed capitalized words, Daniel MartÃn, 2023/05/11