diff options
| author | Marco Pesenti Gritti <marco@gnome.org> | 2005-02-01 17:21:15 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-02-01 17:21:15 (GMT) |
| commit | e6bb7c7e25b848008409db982bbac260fa97f73c (patch) | |
| tree | 7242c32dea97f6840c52a81fb2ec3d6be817f272 /shell/ev-view.c | |
| parent | 1cf7013b89fc6908a15f82e6425de4142f86f1ee (diff) | |
Support eps and check document supports find before drawing highlightings
2005-02-01 Marco Pesenti Gritti <marco@gnome.org>
* shell/ev-application.c: (ev_application_open):
* shell/ev-view.c: (expose_bin_window):
* shell/ev-window.c: (ev_window_open):
Support eps and check document supports find
before drawing highlightings in expose.
Diffstat (limited to 'shell/ev-view.c')
| -rw-r--r-- | shell/ev-view.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 947feef..291b3c5 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -411,7 +411,9 @@ expose_bin_window (GtkWidget *widget, event->area.x, event->area.y, event->area.width, event->area.height); - highlight_find_results (view); + if (EV_IS_DOCUMENT_FIND (view->document)) { + highlight_find_results (view); + } if (view->has_selection) { draw_rubberband (widget, view->bin_window, |