On Tue, Apr 11, 2017 at 9:56 AM, Siméon Marijon <[email protected]> wrote:
> Hi,
>
> I'd like to have double/triple click management
> . My purpose is to let tmux use this kind of event to activate copy mode
> (it works pretty well with MOUSEDRAG for now) instead of my terminal
> emulator. To complete the mouse dealing it could be great to handle
> double-click.
>
> Is there already a work on this item ?
> Is this a global need or I'm the only interrested in this kind of
> functionality ?
>
> Do you have any clue on a good starting point for this kind of
> devellopement ?
>
> For me the main problem is that double click is not a single event but a
> MOUSEDOWN+MOUSEUP+MOUSEDOWN+MOUSEUP.
>
> Thanks for your help
>
I second this. Most often when I highlight text in any app, I double-click
so I can easily select a whole word (and then if I need to, I can keep
dragging to select additional whole words); and I also get a lot of use out
of triple-clicking to select a whole line. It is much faster and takes less
concentration and muscle control (for me) to do this than to painstakingly
position the mouse cursor at the beginning point of the intended selection.
I've missed this in tmux for a long time.
I realize, though, that it could open up a can of worms: different programs
(and the standard text fields of different OSes and desktop environments)
have different ideas about what constitutes a "word" -- and I'm one of
those people that really gets used to such details in one environment, only
to get frustrated when switching to another environment where the rules are
slightly different. It would be nice if the word-delimiting characters
could be configured (as is the case in some terminal emulators), but that
would lead to an explosion of possible config settings.
--
Eric Christopherson
--
You received this message because you are subscribed to the Google Groups
"tmux-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send an email to [email protected].
For more options, visit https://groups.google.com/d/optout.
