[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: |
Tue, 7 Apr 2015 11:29:19 +0100 |
On 6 April 2015 at 15:54, Eli Zaretskii <address@hidden> wrote:
>> It might matter if one method works better than another, or the user
>> might just be curious. I was mainly thinking that this variable might
>> have other options in the future, such as other terminal modes (there
>> are several that can read mouse events) or getting events from the gpm
>> daemon.
>
> Ah, okay. Then I think those other options should not be available on
> Windows, as there's only the "normal-tracking" method there. OTOH,
> having a Windows-only value would mean users cannot have
> platform-independent init files and/or muscle memory.
Maybe it is obvious, but it is not clear from your reply that you
realise that "normal tracking mode" is not used under Windows. By this
I mean specifically the terminal mode entered with the "ESC [ ? 1000
h" sequence. (reference
http://invisible-island.net/xterm/ctlseqs/ctlseqs.html#h2-Mouse-Tracking).
One idea is to have an "automatic" option for the "mouse" variable
that would use whatever method was available. But I am happy enough
with the way it works at present, as I said.
- 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, 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 <=
- 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