--- denemo-2.6.42+20241104git.a324f8c6/src/source/proof.c.orig	2024-11-17 11:53:44.081783775 +0100
+++ denemo-2.6.42+20241104git.a324f8c6/src/source/proof.c	2024-11-17 11:56:20.681094390 +0100
@@ -274,13 +274,14 @@
 press (EvView * view,  GdkEventButton  *event, EvDocumentModel *model)
 {
     EvDocument *doc = ev_document_model_get_document (model);
+    EvDocumentAnnotations *document_annots = EV_DOCUMENT_ANNOTATIONS(doc);
 
     gint i = ev_document_model_get_page (model);
     if (event->button != 1)
         infodialog (help_text);
     nearest_annotation_text = NULL;
     extern EvMappingList * ev_document_annotations_get_annotations();
-    EvMappingList *mapping_list = ev_document_annotations_get_annotations (doc, ev_document_get_page(doc, i));
+    EvMappingList *mapping_list = ev_document_annotations_get_annotations (document_annots, ev_document_get_page(doc, i));
     if(mapping_list)
     {
     gdouble nearest = G_MAXDOUBLE;
@@ -308,12 +309,13 @@
 find_annotated_pages (EvDocumentModel *model)
 {
     EvDocument *doc = ev_document_model_get_document (model);
+    EvDocumentAnnotations *document_annots = EV_DOCUMENT_ANNOTATIONS(doc);
 
     gint i;
     for (i=0; i< ev_document_get_n_pages(doc);i++)
         {
             extern EvMappingList * ev_document_annotations_get_annotations();
-            EvMappingList *mapping_list = ev_document_annotations_get_annotations (doc, ev_document_get_page(doc, i));
+            EvMappingList *mapping_list = ev_document_annotations_get_annotations (document_annots, ev_document_get_page(doc, i));
             if(mapping_list)
             {
              annotated_pages = g_list_append (annotated_pages, GINT_TO_POINTER(i));