public void set_search_text (string? search_text)
Sets the text to search.
search_text is null or is empty, the search will be disabled. A copy of
will be made, so you can safely free
search_text after a call to this function.
You may be interested to call unescape_search_text before this function.
the nul-terminated text to search, or null to disable the search.