mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] text-selection goes berserk


Chronological Thread 
  • 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.

Top of page