SearchSettings.setSearchText

void setSearchText(string searchText = null)

Sets the text to search. If search_text is null or is empty, the search will be disabled. A copy of search_text will be made, so you can safely free search_text after a call to this function.

You may be interested to call [gtksource.global.utilsUnescapeSearchText] before this function.

Parameters

searchText the nul-terminated text to search, or null to disable the search.