Am Sonntag, dem 04.12.2022 um 15:16 +0100 schrieb Jürgen Spitzmüller: > Yes, also "group" does not seem to work properly. I'll have a look.
Both fixed. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
