close the document before destroying the widgets

This commit is contained in:
Sebastian Ramacher 2011-10-16 21:11:25 +02:00
parent 370aa11c4b
commit de52bae4da

View file

@ -249,12 +249,12 @@ zathura_free(zathura_t* zathura)
return;
}
document_close(zathura);
if (zathura->ui.session != NULL) {
girara_session_destroy(zathura->ui.session);
}
document_close(zathura);
/* bookmarks */
girara_list_free(zathura->bookmarks.bookmarks);