Searched refs:update_to_search_region (Results 1 – 1 of 1) sorted by relevance
1922 gboolean update_to_search_region = FALSE; in pluma_document_set_search_text() local1947 update_to_search_region = TRUE; in pluma_document_set_search_text()1953 update_to_search_region = TRUE; in pluma_document_set_search_text()1959 if (update_to_search_region) in pluma_document_set_search_text()