previous_match
Description:
public signal void previous_match ()
Emitted when the user initiates a move to the previous match for the current search string.
This is a [keybinding signal](class.SignalAction.html).
Applications should connect to it, to implement moving between matches.
The default bindings for this signal is Ctrl-Shift-g.