Le 25/06/2019 à 19:59, Guenter Milde a écrit :
OTOH, the concern I remember reading in this list some years ago was about LyX startup times (if I remember right). If the proposed change only affects (re)configuring, I have no objections.
Thanks. JMarc
