File denemo-EvDocument.patch of Package denemo

diff -up denemo-2.6.0/src/source/proof.c.orig denemo-2.6.0/src/source/proof.c
--- denemo-2.6.0/src/source/proof.c.orig	2025-08-09 17:36:17.961057103 +0200
+++ denemo-2.6.0/src/source/proof.c	2025-08-09 17:47:45.828878223 +0200
@@ -279,8 +279,8 @@ press (EvView * view,  GdkEventButton  *
     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));
+//    extern EvMappingList * ev_document_annotations_get_annotations();
+    EvMappingList *mapping_list = ev_document_annotations_get_annotations ((EvDocumentAnnotations *)doc, ev_document_get_page(doc, i));
     if(mapping_list)
     {
     gdouble nearest = G_MAXDOUBLE;
@@ -312,8 +312,8 @@ find_annotated_pages (EvDocumentModel *m
     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));
+//            extern EvMappingList * ev_document_annotations_get_annotations();
+            EvMappingList *mapping_list = ev_document_annotations_get_annotations ((EvDocumentAnnotations *)doc, ev_document_get_page(doc, i));
             if(mapping_list)
             {
              annotated_pages = g_list_append (annotated_pages, GINT_TO_POINTER(i));