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