mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

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