Le 16 août 2020 16:08:25 GMT+02:00, racoon <xraco...@gmx.de> a écrit : > >On 2020-08-16 16:06, Richard Kimberly Heck wrote: >> Pavel was joking.
Was he? >I see. I am still not sure about JMarc though. Anyway, I'll add a gui >switch as Jürgen asked for. In general, I am against a new switch, but I would have to see the actual result. Our preference dialog is really a mess IMO. JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel