Le 13/07/2022 à 09:43, Kornel Benko a écrit :
I suspect that the two command
lists should be unified.
Maybe in 2.5?
I'll have a look.
I just discovered that the sexy and fast way of removing a string from a
vector of strings is the erase-remove idiom:
https://en.wikipedia.org/wiki/Erase%E2%80%93remove_idiom
Only valid for c++20.
What is only C++20 is the std::erase with specializations, but
vector::erase seems to work with older versions.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
