Toggle capitalisation

[Jean-Marc Lasgouttes]

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.

JMarc