Re: newer info reader does not allow text selection per mouse

[Benno Schulenberg]

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