On 2020-08-16 21:16, Jean-Marc Lasgouttes wrote:
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.
I can think about a good place.
In general, ever thought about a further switch called "Advanced
Preferences"?
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel