Le 01/10/2020 à 16:35, Scott Kostyshak a écrit :
I tested the patch and like it.
Since nobody else chimes in, it is in now. I'll wait until Pavel complains that it is on by default ;)
JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
