[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: newer info reader does not allow text selection per mouse
From: |
Benno Schulenberg |
Subject: |
Re: newer info reader does not allow text selection per mouse |
Date: |
Mon, 06 Apr 2015 14:55:40 +0200 |
On Mon, Apr 6, 2015, at 14:34, Gavin Smith wrote:
> On 6 April 2015 at 13:27, Benno Schulenberg <address@hidden> wrote:
> > The newer stand-alone info reader no longer let's me select and
> > copy and paste a piece of text that it displays.
>
> This is due to capturing mouse events to allow a mouse scrollwheel to
> scroll a node. In xterm and probably other terminal emulators as well
> you can select text with the shift key plus click and drag. Maybe we
> should add a note to the manual about this.
Oof. I would propose to do it differently: keep the old behaviour the
default and add an init file option to enable mouse-wheel scrolling.
Benno
--
http://www.fastmail.com - Accessible with your email software
or over the web
- newer info reader does not allow text selection per mouse, Benno Schulenberg, 2015/04/06
- Re: newer info reader does not allow text selection per mouse, Gavin Smith, 2015/04/06
- Re: newer info reader does not allow text selection per mouse,
Benno Schulenberg <=
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Eli Zaretskii, 2015/04/06
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Gavin Smith, 2015/04/06
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Eli Zaretskii, 2015/04/06
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Gavin Smith, 2015/04/06
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Eli Zaretskii, 2015/04/06
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Gavin Smith, 2015/04/07
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Eli Zaretskii, 2015/04/07
- Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse), Eli Zaretskii, 2015/04/06