Am Montag, dem 14.10.2024 um 13:50 +0200 schrieb Jean-Marc Lasgouttes: > What about adding char-lowercase and char-uppercase instead?
This would work as well. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
