Le 10/07/2022 à 22:05, Kornel Benko a écrit :
So I was not clear enough. With 'duplicated' I meant anywhere in the history.
The (my) argument was seeing the session file full of the same commands
spread all over the file, essentially shortening the maximum (different)
commands
possible.
I was testing findadv, the session file was full of 'regex-mode',
'unicode-insert, etc.
Does this cause actual issue, or is it just 'untidy'?
Repeated commands at the end are a pain, I agree with that. But further
in past, they are a memory of useful command sequences.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel