stop_search
Description:
public signal void stop_search ()
Emitted when the user stops a search via keyboard input.
This is a [keybinding signal](class.SignalAction.html).
Applications should connect to it, to implement hiding the search entry in this case.
The default bindings for this signal is Escape.