Toggle capitalisation

[Richard Kimberly Heck]

On 10/13/24 4:15 PM, Jean-Marc Lasgouttes wrote:
> [moved discussion to lyx-devel]
>
> Le 13/10/2024 à 21:56, Jean-Marc Lasgouttes a écrit :
>> Le 13/10/2024 à 20:38, Richard Kimberly Heck a écrit :
>>> On 10/12/24 7:37 PM, Jean-Marc Lasgouttes wrote:
>>>> I would say that this is a bug that we should fix
>>>
>>> In the sense of changing the shortcut or changing the behavior 
>>> described?
>>
>> In the sense that the shortcut is only necessary because 
>> capitalization of "aaAaa" is currently "AaAaa" instead of "Aaaaa".
>>
>> The patch is trivial.
>
> Here is what I have in mind. It changes the behavior, but I think it 
> is OK.

It is conceivable that someone likes the previous behavior, but it's 
hard to imagine that most people would expect it. I'd say go ahead. And 
for stable, too.

Riki