diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-04-22 17:23:22 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-04-22 17:23:22 (GMT) |
commit | 6f9c323060b20673516f786ff19443779f551fae (patch) | |
tree | ee2adb13bab123e85979a788694ea5a8f65b1a07 /pdf/GDKSplashOutputDev.cc | |
parent | 3a8f24fb2042df02049d0a94ee4c885962ac979e (diff) |
Fix find on single page documents
2005-04-22 Marco Pesenti Gritti <mpg@redhat.com>
* pdf/ev-poppler.cc:
* shell/ev-view.c: (highlight_find_results):
Fix find on single page documents
Diffstat (limited to 'pdf/GDKSplashOutputDev.cc')
0 files changed, 0 insertions, 0 deletions