Subject: mailing-list for TeXmacs Users
List archive
From : Giovanni Piredda <address@hidden>- To: TeXmacs <address@hidden>
- Subject: Selecting text in todo
- Date: Thu, 25 Mar 2021 20:50:33 +0100
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
- Selecting text in todo, Giovanni Piredda, 03/25/2021
- Re: Selecting text in todo, Basile Audoly, 03/25/2021
- Re: Selecting text in todo, Giovanni Piredda, 03/25/2021
- Re: Selecting text in todo, Basile Audoly, 03/25/2021
Archive powered by MHonArc 2.6.19.