From cd303522106f5ce836d426697f8ce3334d955d60 Mon Sep 17 00:00:00 2001
From: Marco Pesenti Gritti <marco@gnome.org>
Date: Fri, 31 Dec 2004 17:10:25 +0000
Subject: Add a changed event that is emitted when the page content changes. This is

2004-12-31  Marco Pesenti Gritti  <marco@gnome.org>

        * backend/ev-document.c: (ev_document_base_init),
        (ev_document_changed):
        * backend/ev-document.h:

        Add a changed event that is emitted when the page content
        changes. This is necessary to deal with the fact that
        in ps backend rendering happen asycrounously.
        This makes the ps backend mostly work.

        * pdf/xpdf/pdf-document.cc:

        Emit changed event

        * ps/gtkgs.c: (set_up_page), (gtk_gs_widget_event),
        (ps_document_set_target):

        Emit changed event

        * shell/ev-view.c: (document_changed_callback),
        (ev_view_set_document), (ev_view_set_page):

        Redraw on the changed signal
---
(limited to 'backend/ev-document.h')

diff --git a/backend/ev-document.h b/backend/ev-document.h
index 083bd1a..0059fd4 100644
--- a/backend/ev-document.h
+++ b/backend/ev-document.h
@@ -42,6 +42,9 @@ struct _EvDocumentIface
 {
 	GTypeInterface base_iface;
 
+	/* Signals */
+	void	    (* changed)		(EvDocument *document);
+
 	/* Methods  */
 	gboolean    (* load)	        (EvDocument *document,
 					 const char *uri,
@@ -91,6 +94,7 @@ void     ev_document_render          (EvDocument   *document,
 				      int           clip_y,
 				      int           clip_width,
 				      int           clip_height);
+void	 ev_document_changed         (EvDocument *document);
 
 G_END_DECLS
 
--
cgit v0.9.1