- From: François Poulain <address@hidden>
- To: address@hidden
- Cc: Julien Frontisi <address@hidden>
- Subject: Re: [TeXmacs] text-selection goes berserk
- Date: Tue, 19 Nov 2013 11:00:07 +0100
Hi,
Le Fri, 15 Nov 2013 18:32:19 +0100,
Julien Frontisi <address@hidden> a écrit :
>
Since TeXmacs 1.0.7.20, when you try to select text downwards with
>
the mouse close to the border of the page (e.g. when you start at the
>
beginning of a line), the selection extends upwards in the direction
>
opposite to the mouse movement (that is when you move the mouse
>
downwards, the page scrolls up very fast). If you try upwards, the
>
scrolling sends you to the beginning of the document. So you cannot
>
select a whole paragraph. Or at least I can't. I'm using MacOS 10.9.
>
The problem does not occur if you're already scrolled up at the
>
beginning of the document. Some ideas of what is happening ? Have a
>
nice weekend.
I don't experience this bug (on svn trunk under Debian), but another,
quite similar: if I make a selection from right to left, going near (or
behind) the left border of the page, TeXmacs scroll up very queekly,
making hard to make the wanted selection.
François
--
François Poulain <address@hidden>
Archive powered by MHonArc 2.6.19.