Hi; as this question does not have anything to do with the development of GTK+, you should likely open a bug against gnome-terminal:
https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-terminal Ciao, Emmanuele. On Saturday, 23 July 2016, cedlemo <cedl...@gmx.com> wrote: > Hi, > > > I am surprised by the search functionalities of gnome-terminal. For > example in the current terminal, if you do a search for a word with > circular search, you can do search next a multiple time and the selection > move in > a circular way. But if you do "search prev", the selection get stuck to > the first match. The find previous work like if the "circular search" > option was false. > > Is it a normal behavior? > > FYI Archlinux gnome-terminal 3.20.2 > > > cedlemo. > _______________________________________________ > gtk-devel-list mailing list > gtk-devel-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gtk-devel-list > -- https://www.bassi.io [@] ebassi [@gmail.com]
_______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-devel-list
