mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Giovanni,

Is this the same bug as this one?

https://savannah.gnu.org/bugs/?59511

Best,

Basile

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