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 /pdf | |
| 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
Diffstat (limited to 'pdf')
| -rw-r--r-- | pdf/xpdf/pdf-document.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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 */ } } |