Am Freitag, dem 18.11.2022 um 23:39 +0100 schrieb Pavel Sanda: > Bummer. We either see different bug or the fix is not enough.
Maybe. All I can say is that I still see the very bug I reported. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
