Strange behaviour of search previous in gnome-terminal

[cedlemo <cedlemo gmx com>]

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.