diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-19 13:25:17 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-19 13:25:17 (GMT) |
| commit | 8469ab1bef22b59caa4c69293d8c42e2dd7ad6c6 (patch) | |
| tree | afe2dbcb4557e6c2d4cc8f469deca37b99408b20 /backend | |
| parent | e044f1f34f994c99ed4cd7744ef3d8af877ca103 (diff) | |
Return 0 results when search is not in progress.
2005-09-19 Marco Pesenti Gritti <mpg@redhat.com>
* pdf/ev-poppler.cc:
Return 0 results when search is not in progress.
* shell/ev-window.c: (ev_window_cmd_go_previous_page),
(ev_window_cmd_go_next_page), (find_bar_search_changed_cb):
Update menu sensitivity when cancelling search
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions