mailing-list for TeXmacs Users

[Shelby Hui-Jun Chen <address@hidden>]

Dear Phillippe and texmacs users:

it was not happening previously.

Yes, it does NOT happen to keyboard selection, only mouse selection.

Thank you!

Sincerely,

Shelby Chen

On Mon, Mar 20, 2017 at 2:28 AM, Philippe Joyez <address@hidden> wrote:

Hi Shelby,

I have never seen this, but I'm not on MacOS.

>Recently as I was using texmacs,

Do you mean this was not happening previously, or you just started using
TeXmacs?

I guess you mean this happens when you want to select with the mouse. Does it
happen with keyboard selection (shift+arrows) too? And also selecting with
multiple clicks?

Best,
Philippe