mirror of
https://git.pwmt.org/pwmt/zathura.git
synced 2025-01-16 06:35:52 +01:00
Show error message if no index exists
This commit is contained in:
parent
eadc85d316
commit
6b042b17b5
1 changed files with 1 additions and 1 deletions
|
@ -684,7 +684,7 @@ sc_toggle_index(girara_session_t* session, girara_argument_t* UNUSED(argument),
|
||||||
/* create index */
|
/* create index */
|
||||||
document_index = zathura_document_index_generate(zathura->document, NULL);
|
document_index = zathura_document_index_generate(zathura->document, NULL);
|
||||||
if (document_index == NULL) {
|
if (document_index == NULL) {
|
||||||
// TODO: Error message
|
girara_notify(session, GIRARA_WARNING, _("This document does not contain any index"));
|
||||||
goto error_free;
|
goto error_free;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue