-
Grégoire Lecerf
Joris van der Hoeven
Joris van der Hoeven
mailing-list for TeXmacs Users
Text archives Help
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.
