Am Fr., 7. Juli 2023 um 19:31 Uhr schrieb Yu Jin: > > Yeah we need other opinions on this. >
I have created a new ticket https://www.lyx.org/trac/ticket/12832 I think that is better to keep track of. -- Eugene
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel