1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-06-27 01:25:34 +00:00

Merge pull request #101 from sgerwk/master

alert when moving to the next match of a failed search
This commit is contained in:
rkd77 2021-03-03 10:06:01 +01:00 committed by GitHub
commit ce99b8889c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1323,6 +1323,7 @@ move_search_do(struct session *ses, struct document_view *doc_view, int directio
&doc_view->document->number_of_search_points, utf8);
if (error == FIND_ERROR_NOT_FOUND) {
print_find_error(ses, error);
return FRAME_EVENT_OK;
}
}