Le 23/07/2020 à 06:51, Richard Kimberly Heck a écrit :
I agree, though we'll have to see what other people think. Possibly a preference?
Please, no preference. I think it is a LyX idiosyncrasy from day 1. Feel free to change it. We'll see whether people complain :)
JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
