diff options
author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-24 12:52:42 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-24 12:52:42 (GMT) |
commit | 662b57ab5fc05d98a0ab3e4258c15cf2a2cc66c1 (patch) | |
tree | 3f077cfcaf3e6c2e4911934097b75f3268e2af49 | |
parent | 6d7f9e7cf7678b48828be0722ae2e998ce85b7a7 (diff) |
Fix a crasher on exit. Unused code, put a TODO
2005-02-24 Marco Pesenti Gritti <marco@gnome.org>
* pdf/xpdf/pdf-document.cc:
Fix a crasher on exit. Unused code, put a TODO
-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 */ } } |