[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: newer info reader does not allow text selection per mouse
From: |
Gavin Smith |
Subject: |
Re: newer info reader does not allow text selection per mouse |
Date: |
Mon, 6 Apr 2015 13:34:10 +0100 |
On 6 April 2015 at 13:27, Benno Schulenberg <address@hidden> wrote:
>
> Hi,
>
> The newer stand-alone info reader no longer let's me select and
> copy and paste a piece of text that it displays.
>
> For example, run 'info/ginfo doc/info-stnd.info' in a Gnome
> Terminal and try to select the first paragraph with the mouse.
> No go.
>
> $ info/ginfo --version | head -1
> info (GNU texinfo) 5.9.90
>
> $ echo $TERM
> xterm
>
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.
- 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 <=
- Re: newer info reader does not allow text selection per mouse, Benno Schulenberg, 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/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