Le 27/10/2021 à 00:00, Yuriy Skalko a écrit :
Sounds reasonable to me.RikiThanks Riki. So I've committed the patch after updating the docs about this change.
Good.FWIW, I began writing a patch to allow using HTML in buttons, but it is complicated and sounds overkill to me.
JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel