API Version: 42.0
Library Version: 42.0
Generated by gi-docgen 2023.1
since: 3.32
void ide_editor_page_move_previous_search_result ( IdeEditorPage* self )
Moves the insertion cursor to the previous search result.
If there is no search result, the insertion cursor is not moved.
Available since: 3.32