Le 22/01/2021 à 15:17, Kornel Benko a écrit :
I see. I thought about deleted words, you think about deleted letters.So, what would you now decide? I am totally unsure, how to proceed. Each way has its own advantage.
I think that you do the coding, so you get to decide. JMarc -- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
