Re: documentation about copy&paste from info display

[Bruno Haible]

Hi Eli,

> Doesn't xterm offer a way of invoking the selection by mouse through
> its menus, i.e. not by clicking on the text area of the xterm window?

xterm (or KDE's konsole in my case) offers a menu action "Copy", but first
the user has to mark a region on the screen - which is precisely what I can't
do in the usual way.

> The Info-stnd manual also says, under the description of the 'mouse'
> variable:
> 
>      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.
> 
> Does that advice work for you?

Perfect. Yes, this works already in info 6.0 (the version I'm using),
although it was not documented in that version. Glad to see that it
has been documented now! [1]

Thanks Eli.

Bruno

[1] 
http://svn.savannah.gnu.org/viewvc/trunk/doc/info-stnd.texi?root=texinfo&r1=6174&r2=6213