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 <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>g</kbd>.