On 7/23/20 5:15 AM, Jean-Marc Lasgouttes wrote: > 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 :)
I was thinking a non-UI preference. But we can proceed the other way, too. Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel