Am Donnerstag, dem 23.02.2023 um 21:15 +0000 schrieb José Matos: > The patch attached should fix this.
Looks like a stupid oversight of mine. Please put it in. Thanks, -- Jürgen -- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
