Am Dienstag, dem 05.09.2023 um 15:36 +0200 schrieb Jean-Marc Lasgouttes: > But I have to admit that I do not understand all the ramifications of > doing this. I am ambivalent on the change, to be frank. We could just > keep it in mind in case the issue reappears.
So be it, then. -- Jürgen -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel