It works for me? Search matches are still highlighted of course, but the selection moves with the current match.
On Wed, Sep 05, 2018 at 01:28:14PM +1000, Scott Rochford wrote: > Hi Nicholas, > Thanks for the quick response.A However, no, it doesn't seem to... in > 2.8-rc with or without that patch all visible matches for the search > string seem to get highlighted in the selection colour instead, and the > selection in progress is aborted. > Regards, > Scott > On Wed, 5 Sep 2018 at 01:07, Nicholas Marriott > <[email protected]> wrote: > > Does this work? > > diff --git a/window-copy.c b/window-copy.c > index 660eb63c..383f2c4e 100644 > --- a/window-copy.c > +++ b/window-copy.c > @@ -1172,7 +1172,6 @@ window_copy_search(struct window_pane *wp, int > direction) > A A A A A A A A window_copy_move_right(s, &fx, &fy); > A A A A else > A A A A A A A A window_copy_move_left(s, &fx, &fy); > -A A A A window_copy_clear_selection(wp); > > A A A A wrapflag = options_get_number(wp->window->options, > "wrap-search"); > A A A A cis = window_copy_is_lowercase(data->searchstr); > > On Tue, Sep 04, 2018 at 07:11:43PM +1000, Scott Rochford wrote: > >A A I posted about this in January but can't figure out how to bump > my > >A A original post.AA In tmux prior to 2.6 it had a really handy > feature where > >A A you could extend your selection in copy mode by using search > forward or > >A A search backwards.AA It no longer seems to work for me.AA A Was > this change > >A A intentional?AA Is it configurable?AA Could it please be > re-enabled? > >A A Regards, > >A A Scott > > > >A A -- > >A A You received this message because you are subscribed to the > Google Groups > >A A "tmux-users" group. > >A A To unsubscribe from this group and stop receiving emails from it, > send an > >A A email to [email protected]. > >A A To post to this group, send email to [email protected]. > >A A For more options, visit https://groups.google.com/d/optout. -- 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.
