On Sat, Mar 14, 2020 at 05:27:19PM +0100, Enrico Forestieri wrote: > On Sat, Mar 14, 2020 at 04:36:41PM +0100, Jürgen Spitzmüller wrote: > > Am Samstag, den 14.03.2020, 16:22 +0100 schrieb Enrico Forestieri: > > > Please, try the attached patch. > > > > This fixes the problem for me. > > I have extended the patch to some other obvious cases and committed it. > > Riki, I think this (bd6d09fc) should also go to stable.
As well as 92c4bb46. -- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel