Re: documentation about copy&paste from info display

[Gavin Smith]

On 21 October 2016 at 02:01, Bruno Haible <address@hidden> wrote:
> Occasionally I need to copy&paste the rendered output of a GNU manual
> into a text file or mail. The easiest way to do this is to use the
> 'info' reader with TERM=vt100 or TERM=vt220. With the usual TERM=xterm
> setting it does *not* work because info then intercepts the mouse events.
>
> Could this trick please be documented in the info manual?

This feature was turned off by default in the 6.1 release because of
the problem with selecting text.

The manual notes the following work-around if the feature is turned on:

'mouse'
     What method to use to get input from a mouse device.  The default
     value is 'Off'.  Set this variable to 'normal-tracking' to make
     Info use "normal tracking mode" if it detects that the terminal
     supports it.  This enables you to scroll the contents of the active
     window with a mouse scrollwheel.

     On terminal emulators running under the X Window System, such as
     'xterm', you can usually select text with the mouse.  However,
     mouse tracking mode may interfere with this.  When this happens,
     you may be able to select text by holding down the 'Shift' key
     while clicking and dragging.