diff options
| -rw-r--r-- | ChangeLog | 6 | ||||
| -rw-r--r-- | pdf/xpdf/pdf-document.cc | 2 |
2 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,11 @@ 2005-02-24 Marco Pesenti Gritti <marco@gnome.org> + * pdf/xpdf/pdf-document.cc: + + Fix a crasher on exit. Unused code, put a TODO + +2005-02-24 Marco Pesenti Gritti <marco@gnome.org> + * backend/ev-document.c: (ev_document_class_init), (ev_document_page_changed), (ev_document_scale_changed): * backend/ev-document.h: diff --git a/pdf/xpdf/pdf-document.cc b/pdf/xpdf/pdf-document.cc index 777e949..82838f4 100644 --- a/pdf/xpdf/pdf-document.cc +++ b/pdf/xpdf/pdf-document.cc @@ -311,7 +311,7 @@ pdf_document_set_target (EvDocument *document, } - document_display_page (pdf_document); + /* FIXME we need to regenerate pages */ } } |