[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: mouse support in the Info reader (was: newer info reader does not al
From: |
Gavin Smith |
Subject: |
Re: mouse support in the Info reader (was: newer info reader does not allow text selection per mouse) |
Date: |
Mon, 6 Apr 2015 15:03:43 +0100 |
On 6 April 2015 at 14:54, Eli Zaretskii <address@hidden> wrote:
>> Date: Mon, 6 Apr 2015 13:34:10 +0100
>> From: Gavin Smith <address@hidden>
>> Cc: Texinfo <address@hidden>
>>
>> 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.
>
> I didn't know about this support, so the MS-Windows port doesn't have
> it. The changes below introduce mouse wheel support on Windows as
> well; OK to commit?
>
OK thanks a lot. It's OK to commit: I am not working on pcterm.c.
My only thought is that the value of the "mouse" variable will be
misleading, because the mouse events will be being captured by a
different method to that under xterm. Perhaps we could have an extra
value for this variable which it would default to under MS-Windows. I
don't care much about this though, so don't worry if it would be too
much effort.
- 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, 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 <=
- 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