Le 02/10/2020 à 19:53, Yuriy Skalko a écrit :
Here is an updated patch.Yes, there are more places to add the `override`. I'll try to change the rest on the second step. Is it OK to commit the patch in its current state?
Thanks a lot. It is in now. JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
