mailing-list for TeXmacs Users

Text archives Help


Re: Selecting text in todo


Chronological Thread 
  • From: Giovanni Piredda <address@hidden>
  • To: Basile Audoly <address@hidden>
  • Cc: TeXmacs <address@hidden>
  • Subject: Re: Selecting text in todo
  • Date: Thu, 25 Mar 2021 21:44:52 +0100

Hi Basile,

I think so. I searched through the bug reports before posting but I did not search well enough :-)

Though I am happy to know that it is only the selection feedback which is too large.

Giovanni

On 25.03.21 21:23, Basile Audoly wrote:
Hi Giovanni,
Is this the same bug as this one?
https://savannah.gnu.org/bugs/?59511 <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




Archive powered by MHonArc 2.6.19.

Top of page