On Mon, 2024-09-09 at 17:54 +0200, Jean-Marc Lasgouttes wrote: > string const arg = (type.empty()) ? move(label) : move(label) + " " > + type;
I can understand the first move. That makes all the sense to me. I can not understand why you use move and then add it to a chr * (that will be converted to a string) plus a string. Why not then move(type)? Honestly I have not looked in detail to this. This comment comes from a rushed read about this message. PS: Lately I have been more interested in understand annotations in python that apply/are related to type hinting but not only that. I knew this before but now I understand it (going up in the Bloom's taxonomy). :-D -- José Abílio -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel