Description: Close document correctly so that the current page is remembered.
Origin: http://git.pwmt.org/?p=zathura.git;a=commit;h=c2b0f7c20
Last-Update: 2012-05-10
Bug: http://bt.pwmt.org/view.php?id=158

Index: zathura/callbacks.c
===================================================================
--- zathura.orig/callbacks.c	2012-03-24 22:00:55.413019190 +0100
+++ zathura/callbacks.c	2012-05-10 18:00:02.393614769 +0200
@@ -21,8 +21,7 @@
 cb_destroy(GtkWidget* UNUSED(widget), zathura_t* zathura)
 {
   if (zathura != NULL && zathura->document != NULL) {
-    zathura_document_free(zathura->document);
-    zathura->document = NULL;
+    document_close(zathura, false);
   }
 
   gtk_main_quit();
