Le 25 mars 2021 à 20:50, Giovanni Piredda <address@hidden> a écrit :
Dear all,
in a todo environment that spans several lines I can either select one part of a line or several entire adjacent lines; I can't select an entire line and a part of the next. Is this intended or is it a bug?
Thanks in advance,
Giovanni
Archive powered by MHonArc 2.6.19.