diff options
| author | Marco Pesenti Gritti <marco@gnome.org> | 2004-12-31 17:10:25 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2004-12-31 17:10:25 (GMT) |
| commit | cd303522106f5ce836d426697f8ce3334d955d60 (patch) | |
| tree | 4044bfb374d38d185dce942a6f73432ae5800a6b /pdf | |
| parent | 41b5830e4bedb14c4db9a8ed01ccc204692eae3c (diff) | |
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
Diffstat (limited to 'pdf')
| -rw-r--r-- | pdf/xpdf/pdf-document.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pdf/xpdf/pdf-document.cc b/pdf/xpdf/pdf-document.cc index e6e72c2..24e0b36 100644 --- a/pdf/xpdf/pdf-document.cc +++ b/pdf/xpdf/pdf-document.cc @@ -204,6 +204,7 @@ pdf_document_set_page (EvDocument *document, pdf_document->page_valid = FALSE; } + ev_document_changed (document); } static int |