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
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
