]> www.fi.muni.cz Git - evince.git/blob - shell/ev-view.c
372d4a362262e859d7a1d9117e33db2b6a5e8b7c
[evince.git] / shell / ev-view.c
1 /* -*- Mode: C; tab-width: 8; indent-tabs-mode: t; c-basic-offset: 8; c-indent-level: 8 -*- */
2 /* this file is part of evince, a gnome document viewer
3  *
4  *  Copyright (C) 2004 Red Hat, Inc
5  *
6  * Evince is free software; you can redistribute it and/or modify it
7  * under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * Evince is distributed in the hope that it will be useful, but
12  * WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with this program; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA.
19  */
20
21 #include <gtk/gtkalignment.h>
22 #include <glib/gi18n.h>
23 #include <gtk/gtkbindings.h>
24 #include <gtk/gtkselection.h>
25 #include <gtk/gtkclipboard.h>
26 #include <gdk/gdkkeysyms.h>
27 #include <libgnomevfs/gnome-vfs-utils.h>
28
29 #include "ev-marshal.h"
30 #include "ev-view.h"
31 #include "ev-document-find.h"
32 #include "ev-document-misc.h"
33 #include "ev-debug.h"
34
35 #define EV_VIEW_CLASS(klass)    (G_TYPE_CHECK_CLASS_CAST ((klass), EV_TYPE_VIEW, EvViewClass))
36 #define EV_IS_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), EV_TYPE_VIEW))
37 #define EV_VIEW_GET_CLASS(obj)  (G_TYPE_INSTANCE_GET_CLASS ((obj), EV_TYPE_VIEW, EvViewClass))
38
39 enum {
40         PROP_0,
41         PROP_STATUS,
42         PROP_FIND_STATUS
43 };
44
45 enum {
46   TARGET_STRING,
47   TARGET_TEXT,
48   TARGET_COMPOUND_TEXT,
49   TARGET_UTF8_STRING,
50   TARGET_TEXT_BUFFER_CONTENTS
51 };
52
53 static const GtkTargetEntry targets[] = {
54         { "STRING", 0, TARGET_STRING },
55         { "TEXT",   0, TARGET_TEXT },
56         { "COMPOUND_TEXT", 0, TARGET_COMPOUND_TEXT },
57         { "UTF8_STRING", 0, TARGET_UTF8_STRING },
58 };
59
60 typedef enum {
61         EV_VIEW_CURSOR_NORMAL,
62         EV_VIEW_CURSOR_LINK,
63         EV_VIEW_CURSOR_WAIT,
64         EV_VIEW_CURSOR_HIDDEN
65 } EvViewCursor;
66
67 #define ZOOM_IN_FACTOR  1.2
68 #define ZOOM_OUT_FACTOR (1.0/ZOOM_IN_FACTOR)
69
70 #define MIN_SCALE 0.05409
71 #define MAX_SCALE 18.4884
72
73 struct _EvView {
74         GtkWidget parent_instance;
75
76         EvDocument *document;
77         
78         GdkWindow *bin_window;
79
80         char *status;
81         char *find_status;
82         
83         int scroll_x;
84         int scroll_y;
85
86         gboolean pressed_button;
87         gboolean has_selection;
88         GdkPoint selection_start;
89         GdkRectangle selection;
90         EvViewCursor cursor;
91
92         GtkAdjustment *hadjustment;
93         GtkAdjustment *vadjustment;
94
95         int find_page;
96         int find_result;
97         int spacing;
98
99         double scale;
100         int width;
101         int height;
102 };
103
104 struct _EvViewClass {
105         GtkWidgetClass parent_class;
106
107         void    (*set_scroll_adjustments) (EvView         *view,
108                                            GtkAdjustment  *hadjustment,
109                                            GtkAdjustment  *vadjustment);
110         void    (*scroll_view)            (EvView         *view,
111                                            GtkScrollType   scroll,
112                                            gboolean        horizontal);
113         
114         /* Should this be notify::page? */
115         void    (*page_changed)           (EvView         *view);
116 };
117
118 static guint page_changed_signal = 0;
119
120 static void ev_view_set_scroll_adjustments (EvView         *view,
121                                             GtkAdjustment  *hadjustment,
122                                             GtkAdjustment  *vadjustment);
123     
124 G_DEFINE_TYPE (EvView, ev_view, GTK_TYPE_WIDGET)
125
126 /*** Helper functions ***/       
127      
128 static void
129 view_update_adjustments (EvView *view)
130 {
131         int old_x = view->scroll_x;
132         int old_y = view->scroll_y;
133   
134         if (view->hadjustment)
135                 view->scroll_x = view->hadjustment->value;
136         else
137                 view->scroll_x = 0;
138
139         if (view->vadjustment)
140                 view->scroll_y = view->vadjustment->value;
141         else
142                 view->scroll_y = 0;
143   
144         if (GTK_WIDGET_REALIZED (view) &&
145             (view->scroll_x != old_x || view->scroll_y != old_y)) {
146                 gdk_window_move (view->bin_window, - view->scroll_x, - view->scroll_y);
147                 gdk_window_process_updates (view->bin_window, TRUE);
148         }
149 }
150
151 static void
152 view_set_adjustment_values (EvView         *view,
153                             GtkOrientation  orientation)
154 {
155         GtkWidget *widget = GTK_WIDGET (view);
156         GtkAdjustment *adjustment;
157         gboolean value_changed = FALSE;
158         int requisition;
159         int allocation;
160
161         if (orientation == GTK_ORIENTATION_HORIZONTAL)  {
162                 requisition = widget->requisition.width;
163                 allocation = widget->allocation.width;
164                 adjustment = view->hadjustment;
165         } else {
166                 requisition = widget->requisition.height;
167                 allocation = widget->allocation.height;
168                 adjustment = view->vadjustment;
169         }
170
171         if (!adjustment)
172                 return;
173   
174         adjustment->page_size = allocation;
175         adjustment->step_increment = allocation * 0.1;
176         adjustment->page_increment = allocation * 0.9;
177         adjustment->lower = 0;
178         adjustment->upper = MAX (allocation, requisition);
179
180         if (adjustment->value > adjustment->upper - adjustment->page_size) {
181                 adjustment->value = adjustment->upper - adjustment->page_size;
182                 value_changed = TRUE;
183         }
184
185         gtk_adjustment_changed (adjustment);
186         if (value_changed)
187                 gtk_adjustment_value_changed (adjustment);
188 }
189
190 /*** Virtual function implementations ***/       
191      
192 static void
193 ev_view_finalize (GObject *object)
194 {
195         EvView *view = EV_VIEW (object);
196
197         LOG ("Finalize");
198
199         if (view->document)
200                 g_object_unref (view->document);
201
202         ev_view_set_scroll_adjustments (view, NULL, NULL);
203
204         G_OBJECT_CLASS (ev_view_parent_class)->finalize (object);
205 }
206
207 static void
208 ev_view_destroy (GtkObject *object)
209 {
210         EvView *view = EV_VIEW (object);
211
212         ev_view_set_scroll_adjustments (view, NULL, NULL);
213   
214         GTK_OBJECT_CLASS (ev_view_parent_class)->destroy (object);
215 }
216
217 static void
218 ev_view_get_offsets (EvView *view, int *x_offset, int *y_offset)
219 {
220         EvDocument *document = view->document;
221         GtkWidget *widget = GTK_WIDGET (view);
222         int width, height, target_width, target_height;
223         GtkBorder border;
224
225         g_return_if_fail (EV_IS_DOCUMENT (document));
226
227         ev_document_get_page_size (document, -1, &width, &height);
228         ev_document_misc_get_page_border_size (width, height, &border);
229         
230         *x_offset = view->spacing;
231         *y_offset = view->spacing;
232         target_width = width + border.left + border.right + view->spacing * 2;
233         target_height = height + border.top + border.bottom + view->spacing * 2;
234         *x_offset += MAX (0, (widget->allocation.width - target_width) / 2);
235         *y_offset += MAX (0, (widget->allocation.height - target_height) / 2);
236 }
237
238 static void
239 view_rect_to_doc_rect (EvView *view, GdkRectangle *view_rect, GdkRectangle *doc_rect)
240 {
241         int x_offset, y_offset;
242
243         ev_view_get_offsets (view, &x_offset, &y_offset); 
244         doc_rect->x = (view_rect->x - x_offset) / view->scale;
245         doc_rect->y = (view_rect->y - y_offset) / view->scale;
246         doc_rect->width = view_rect->width / view->scale;
247         doc_rect->height = view_rect->height / view->scale;
248 }
249
250 static void
251 doc_rect_to_view_rect (EvView *view, GdkRectangle *doc_rect, GdkRectangle *view_rect)
252 {
253         int x_offset, y_offset;
254
255         ev_view_get_offsets (view, &x_offset, &y_offset); 
256         view_rect->x = doc_rect->x * view->scale + x_offset;
257         view_rect->y = doc_rect->y * view->scale + y_offset;
258         view_rect->width = doc_rect->width * view->scale;
259         view_rect->height = doc_rect->height * view->scale;
260 }
261
262 static void
263 ev_view_size_request (GtkWidget      *widget,
264                       GtkRequisition *requisition)
265 {
266         EvView *view = EV_VIEW (widget);
267         GtkBorder border;
268         gint width, height;
269
270         if (!GTK_WIDGET_REALIZED (widget))
271                 return;
272
273         if (!view->document) {
274                 requisition->width = 1;
275                 requisition->height = 1;
276                 return;
277         }
278
279         ev_document_get_page_size (view->document, -1,
280                                    &width, &height);
281         ev_document_misc_get_page_border_size (width, height, &border);
282
283         if (view->width >= 0) {
284                 requisition->width = 0;
285         } else {
286                 requisition->width = width + border.left + border.right +
287                                      view->spacing * 2;
288         }
289         
290         if (view->height >= 0) {
291                 requisition->height = 0;
292         } else {
293                 requisition->height = height + border.top + border.bottom +
294                                       view->spacing * 2;
295         }
296 }
297
298 static void
299 ev_view_size_allocate (GtkWidget      *widget,
300                        GtkAllocation  *allocation)
301 {
302         EvView *view = EV_VIEW (widget);
303
304         GTK_WIDGET_CLASS (ev_view_parent_class)->size_allocate (widget, allocation);
305
306         view_set_adjustment_values (view, GTK_ORIENTATION_HORIZONTAL);
307         view_set_adjustment_values (view, GTK_ORIENTATION_VERTICAL);
308
309         if (GTK_WIDGET_REALIZED (widget)) {
310                 gdk_window_resize (view->bin_window,
311                                    MAX (widget->allocation.width, widget->requisition.width),
312                                    MAX (widget->allocation.height, widget->requisition.height));
313         }
314 }
315
316 static void
317 ev_view_realize (GtkWidget *widget)
318 {
319         EvView *view = EV_VIEW (widget);
320         GdkWindowAttr attributes;
321
322         GTK_WIDGET_SET_FLAGS (widget, GTK_REALIZED);
323   
324
325         attributes.window_type = GDK_WINDOW_CHILD;
326         attributes.wclass = GDK_INPUT_OUTPUT;
327         attributes.visual = gtk_widget_get_visual (widget);
328         attributes.colormap = gtk_widget_get_colormap (widget);
329   
330         attributes.x = widget->allocation.x;
331         attributes.y = widget->allocation.y;
332         attributes.width = widget->allocation.width;
333         attributes.height = widget->allocation.height;
334         attributes.event_mask = 0;
335   
336         widget->window = gdk_window_new (gtk_widget_get_parent_window (widget),
337                                          &attributes,
338                                          GDK_WA_X | GDK_WA_Y |
339                                          GDK_WA_COLORMAP |
340                                          GDK_WA_VISUAL);
341         gdk_window_set_user_data (widget->window, widget);
342         widget->style = gtk_style_attach (widget->style, widget->window);
343         gdk_window_set_background (widget->window, &widget->style->mid[widget->state]);
344   
345         attributes.x = 0;
346         attributes.y = 0;
347         attributes.width = MAX (widget->allocation.width, widget->requisition.width);
348         attributes.height = MAX (widget->allocation.height, widget->requisition.height);
349         attributes.event_mask = GDK_EXPOSURE_MASK |
350                                 GDK_BUTTON_PRESS_MASK |
351                                 GDK_BUTTON_RELEASE_MASK |
352                                 GDK_SCROLL_MASK |
353                                 GDK_KEY_PRESS_MASK |
354                                 GDK_POINTER_MOTION_MASK |
355                                 GDK_LEAVE_NOTIFY_MASK;
356   
357         view->bin_window = gdk_window_new (widget->window,
358                                            &attributes,
359                                            GDK_WA_X | GDK_WA_Y |
360                                            GDK_WA_COLORMAP |
361                                            GDK_WA_VISUAL);
362         gdk_window_set_user_data (view->bin_window, widget);
363         gdk_window_show (view->bin_window);
364
365         widget->style = gtk_style_attach (widget->style, view->bin_window);
366         gdk_window_set_background (view->bin_window, &widget->style->mid[widget->state]);
367
368         if (view->document) {
369                 ev_document_set_target (view->document, view->bin_window);
370
371                 /* We can't get page size without a target, so we have to
372                  * queue a size request at realization. Could be fixed
373                  * with EvDocument changes to allow setting a GdkScreen
374                  * without setting a target.
375                  */
376                 gtk_widget_queue_resize (widget);
377         }
378 }
379
380 static void
381 ev_view_unrealize (GtkWidget *widget)
382 {
383         EvView *view = EV_VIEW (widget);
384
385         if (view->document)
386                 ev_document_set_target (view->document, NULL);
387
388         gdk_window_set_user_data (view->bin_window, NULL);
389         gdk_window_destroy (view->bin_window);
390         view->bin_window = NULL;
391
392         GTK_WIDGET_CLASS (ev_view_parent_class)->unrealize (widget);
393 }
394
395 static guint32
396 ev_gdk_color_to_rgb (const GdkColor *color)
397 {
398   guint32 result;
399   result = (0xff0000 | (color->red & 0xff00));
400   result <<= 8;
401   result |= ((color->green & 0xff00) | (color->blue >> 8));
402   return result;
403 }
404
405 static void
406 draw_rubberband (GtkWidget *widget, GdkWindow *window,
407                  const GdkRectangle *rect, guchar alpha)
408 {
409         GdkGC *gc;
410         GdkPixbuf *pixbuf;
411         GdkColor *fill_color_gdk;
412         guint fill_color;
413
414         fill_color_gdk = gdk_color_copy (&GTK_WIDGET (widget)->style->base[GTK_STATE_SELECTED]);
415         fill_color = ev_gdk_color_to_rgb (fill_color_gdk) << 8 | alpha;
416
417         pixbuf = gdk_pixbuf_new (GDK_COLORSPACE_RGB, TRUE, 8,
418                                  rect->width, rect->height);
419         gdk_pixbuf_fill (pixbuf, fill_color);
420
421         gdk_draw_pixbuf (window, NULL, pixbuf,
422                          0, 0,
423                          rect->x,rect->y,
424                          rect->width, rect->height,
425                          GDK_RGB_DITHER_NONE,
426                          0, 0);
427
428         g_object_unref (pixbuf);
429
430         gc = gdk_gc_new (window);
431         gdk_gc_set_rgb_fg_color (gc, fill_color_gdk);
432         gdk_draw_rectangle (window, gc, FALSE,
433                             rect->x, rect->y,
434                             rect->width - 1,
435                             rect->height - 1);
436         g_object_unref (gc);
437
438         gdk_color_free (fill_color_gdk);
439 }
440
441 static void
442 highlight_find_results (EvView *view)
443 {
444         EvDocumentFind *find;
445         int i, results;
446
447         g_return_if_fail (EV_IS_DOCUMENT_FIND (view->document));
448
449         find = EV_DOCUMENT_FIND (view->document);
450
451         results = ev_document_find_get_n_results (find);
452
453         for (i = 0; i < results; i++) {
454                 GdkRectangle rectangle;
455                 guchar alpha;
456
457                 alpha = (i == view->find_result) ? 0x90 : 0x20;
458                 ev_document_find_get_result (find, i, &rectangle);
459                 draw_rubberband (GTK_WIDGET (view), view->bin_window,
460                                  &rectangle, alpha);
461         }
462 }
463
464
465 static void
466 expose_bin_window (GtkWidget      *widget,
467                    GdkEventExpose *event)
468 {
469         EvView *view = EV_VIEW (widget);
470         GtkBorder border;
471         gint width, height;
472         GdkRectangle area;
473         int x_offset, y_offset;
474
475         if (view->document == NULL)
476                 return;
477
478         ev_view_get_offsets (view, &x_offset, &y_offset); 
479         ev_document_get_page_size (view->document, -1,
480                                    &width, &height);
481         ev_document_misc_get_page_border_size (width, height, &border);
482         
483         /* Paint the frame */
484         area.x = x_offset;
485         area.y = y_offset;
486         area.width = width + border.left + border.right;
487         area.height = height + border.top + border.bottom;
488         ev_document_misc_paint_one_page (view->bin_window, widget, &area, &border);
489
490         /* Render the document itself */
491         ev_document_set_page_offset (view->document,
492                                      x_offset + border.left,
493                                      y_offset + border.top);
494
495         LOG ("Render area %d %d %d %d - Offset %d %d",
496              event->area.x, event->area.y,
497              event->area.width, event->area.height,
498              x_offset, y_offset);
499
500         ev_document_render (view->document,
501                             event->area.x, event->area.y,
502                             event->area.width, event->area.height);
503
504         if (EV_IS_DOCUMENT_FIND (view->document)) {
505                 highlight_find_results (view);
506         }
507
508         if (view->has_selection) {
509                 GdkRectangle rubberband;
510
511                 doc_rect_to_view_rect (view, &view->selection, &rubberband);
512                 if (rubberband.width > 0 && rubberband.height > 0) {
513                         draw_rubberband (widget, view->bin_window,
514                                          &rubberband, 0x40);
515                 }
516         }
517 }
518
519 static gboolean
520 ev_view_expose_event (GtkWidget      *widget,
521                       GdkEventExpose *event)
522 {
523         EvView *view = EV_VIEW (widget);
524
525         if (event->window == view->bin_window)
526                 expose_bin_window (widget, event);
527         else
528                 return GTK_WIDGET_CLASS (ev_view_parent_class)->expose_event (widget, event);
529
530         return FALSE;
531 }
532
533 void
534 ev_view_select_all (EvView *ev_view)
535 {
536         GtkWidget *widget = GTK_WIDGET (ev_view);
537         GdkRectangle selection;
538         int width, height;
539         int x_offset, y_offset;
540         GtkBorder border;
541
542         g_return_if_fail (EV_IS_VIEW (ev_view));
543
544         ev_view_get_offsets (ev_view, &x_offset, &y_offset);
545         ev_document_get_page_size (ev_view->document, -1, &width, &height);
546         ev_document_misc_get_page_border_size (width, height, &border);
547
548         ev_view->has_selection = TRUE;
549         selection.x = x_offset + border.left;
550         selection.y = y_offset + border.top;
551         selection.width = width;
552         selection.height = height;
553         view_rect_to_doc_rect (ev_view, &selection, &ev_view->selection);
554
555         gtk_widget_queue_draw (widget);
556 }
557
558 void
559 ev_view_copy (EvView *ev_view)
560 {
561         GtkClipboard *clipboard;
562         GdkRectangle selection;
563         char *text;
564
565         doc_rect_to_view_rect (ev_view, &ev_view->selection, &selection);
566         text = ev_document_get_text (ev_view->document, &selection);
567         clipboard = gtk_widget_get_clipboard (GTK_WIDGET (ev_view),
568                                               GDK_SELECTION_CLIPBOARD);
569         gtk_clipboard_set_text (clipboard, text, -1);
570         g_free (text);
571 }
572
573 static void
574 ev_view_primary_get_cb (GtkClipboard     *clipboard,
575                         GtkSelectionData *selection_data,
576                         guint             info,
577                         gpointer          data)
578 {
579         EvView *ev_view = EV_VIEW (data);
580         GdkRectangle selection;
581         char *text;
582
583         doc_rect_to_view_rect (ev_view, &ev_view->selection, &selection);
584         text = ev_document_get_text (ev_view->document, &selection);
585         gtk_selection_data_set_text (selection_data, text, -1);
586 }
587
588 static void
589 ev_view_primary_clear_cb (GtkClipboard *clipboard,
590                           gpointer      data)
591 {
592         EvView *ev_view = EV_VIEW (data);
593
594         ev_view->has_selection = FALSE;
595 }
596
597 static void
598 ev_view_update_primary_selection (EvView *ev_view)
599 {
600         GtkClipboard *clipboard;
601
602         clipboard = gtk_widget_get_clipboard (GTK_WIDGET (ev_view),
603                                               GDK_SELECTION_PRIMARY);
604
605         if (ev_view->has_selection) {
606                 if (!gtk_clipboard_set_with_owner (clipboard,
607                                                    targets,
608                                                    G_N_ELEMENTS (targets),
609                                                    ev_view_primary_get_cb,
610                                                    ev_view_primary_clear_cb,
611                                                    G_OBJECT (ev_view)))
612                         ev_view_primary_clear_cb (clipboard, ev_view);
613         } else {
614                 if (gtk_clipboard_get_owner (clipboard) == G_OBJECT (ev_view))
615                         gtk_clipboard_clear (clipboard);
616         }
617 }
618
619 static gboolean
620 ev_view_button_press_event (GtkWidget      *widget,
621                             GdkEventButton *event)
622 {
623         EvView *view = EV_VIEW (widget);
624
625         if (!GTK_WIDGET_HAS_FOCUS (widget)) {
626                 gtk_widget_grab_focus (widget);
627         }
628
629         view->pressed_button = event->button;
630
631         switch (event->button) {
632                 case 1:
633                         if (view->has_selection) {
634                                 view->has_selection = FALSE;
635                                 gtk_widget_queue_draw (widget);
636                         }
637
638                         view->selection_start.x = event->x;
639                         view->selection_start.y = event->y;
640                         break;
641         }
642
643         return TRUE;
644 }
645
646 static char *
647 status_message_from_link (EvLink *link)
648 {
649         EvLinkType type;
650         char *msg;
651         int page;
652
653         type = ev_link_get_link_type (link);
654         
655         switch (type) {
656                 case EV_LINK_TYPE_TITLE:
657                         msg = g_strdup (ev_link_get_title (link));
658                         break;
659                 case EV_LINK_TYPE_PAGE:
660                         page = ev_link_get_page (link);
661                         msg = g_strdup_printf (_("Go to page %d"), page);
662                         break;
663                 case EV_LINK_TYPE_EXTERNAL_URI:
664                         msg = g_strdup (ev_link_get_uri (link));
665                         break;
666                 default:
667                         msg = NULL;
668         }
669
670         return msg;
671 }
672
673 static void
674 ev_view_set_status (EvView *view, const char *message)
675 {
676         g_return_if_fail (EV_IS_VIEW (view));
677
678         if (message != view->status) {
679                 g_free (view->status);
680                 view->status = g_strdup (message);
681                 g_object_notify (G_OBJECT (view), "status");
682         }
683 }
684
685 static void
686 ev_view_set_find_status (EvView *view, const char *message)
687 {
688         g_return_if_fail (EV_IS_VIEW (view));
689         
690         g_free (view->find_status);
691         view->find_status = g_strdup (message);
692         g_object_notify (G_OBJECT (view), "find-status");
693 }
694
695 static GdkCursor *
696 ev_view_create_invisible_cursor(void)
697 {
698        GdkBitmap *empty;
699        GdkColor black = { 0, 0, 0, 0 };
700        static unsigned char bits[] = { 0x00 };
701
702        empty = gdk_bitmap_create_from_data (NULL, bits, 1, 1);
703
704        return gdk_cursor_new_from_pixmap (empty, empty, &black, &black, 0, 0);
705 }
706
707 static void
708 ev_view_set_cursor (EvView *view, EvViewCursor new_cursor)
709 {
710         GdkCursor *cursor = NULL;
711         GdkDisplay *display;
712         GtkWidget *widget;
713
714         if (view->cursor == new_cursor) {
715                 return;
716         }
717
718         widget = gtk_widget_get_toplevel (GTK_WIDGET (view));
719         display = gtk_widget_get_display (widget);
720         view->cursor = new_cursor;
721
722         switch (new_cursor) {
723                 case EV_VIEW_CURSOR_NORMAL:
724                         gdk_window_set_cursor (widget->window, NULL);
725                         break;
726                 case EV_VIEW_CURSOR_LINK:
727                         cursor = gdk_cursor_new_for_display (display, GDK_HAND2);
728                         break;
729                 case EV_VIEW_CURSOR_WAIT:
730                         cursor = gdk_cursor_new_for_display (display, GDK_WATCH);
731                         break;
732                 case EV_VIEW_CURSOR_HIDDEN:
733                         cursor = ev_view_create_invisible_cursor ();
734                         break;
735
736         }
737
738         if (cursor) {
739                 gdk_window_set_cursor (widget->window, cursor);
740                 gdk_cursor_unref (cursor);
741                 gdk_flush();
742         }
743 }
744
745 static gboolean
746 ev_view_motion_notify_event (GtkWidget      *widget,
747                              GdkEventMotion *event)
748 {
749         EvView *view = EV_VIEW (widget);
750
751         if (view->pressed_button > 0) {
752                 GdkRectangle selection;
753
754                 view->has_selection = TRUE;
755                 selection.x = MIN (view->selection_start.x, event->x);
756                 selection.y = MIN (view->selection_start.y, event->y);
757                 selection.width = ABS (view->selection_start.x - event->x) + 1;
758                 selection.height = ABS (view->selection_start.y - event->y) + 1;
759                 view_rect_to_doc_rect (view, &selection, &view->selection);
760
761                 gtk_widget_queue_draw (widget);
762         } else if (view->document) {
763                 EvLink *link;
764
765                 link = ev_document_get_link (view->document, event->x, event->y);
766                 if (link) {
767                         char *msg;
768
769                         msg = status_message_from_link (link);
770                         ev_view_set_status (view, msg);
771                         ev_view_set_cursor (view, EV_VIEW_CURSOR_LINK);
772                         g_free (msg);
773
774                         g_object_unref (link);
775                 } else {
776                         ev_view_set_status (view, NULL);
777                         if (view->cursor == EV_VIEW_CURSOR_LINK) {
778                                 ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL);
779                         }
780                 }
781         }
782
783         return TRUE;
784 }
785
786 static gboolean
787 ev_view_button_release_event (GtkWidget      *widget,
788                               GdkEventButton *event)
789 {
790         EvView *view = EV_VIEW (widget);
791
792         view->pressed_button = -1;
793
794         if (view->has_selection) {
795                 ev_view_update_primary_selection (view);
796         } else if (view->document) {
797                 EvLink *link;
798
799                 link = ev_document_get_link (view->document,
800                                              event->x,
801                                              event->y);
802                 if (link) {
803                         ev_view_go_to_link (view, link);
804                         g_object_unref (link);
805                 }
806         }
807
808         return FALSE;
809 }
810
811 static void
812 on_adjustment_value_changed (GtkAdjustment  *adjustment,
813                              EvView *view)
814 {
815         view_update_adjustments (view);
816 }
817
818 static void
819 set_scroll_adjustment (EvView *view,
820                        GtkOrientation  orientation,
821                        GtkAdjustment  *adjustment)
822 {
823         GtkAdjustment **to_set;
824
825         if (orientation == GTK_ORIENTATION_HORIZONTAL)
826                 to_set = &view->hadjustment;
827         else
828                 to_set = &view->vadjustment;
829   
830         if (*to_set != adjustment) {
831                 if (*to_set) {
832                         g_signal_handlers_disconnect_by_func (*to_set,
833                                                               (gpointer) on_adjustment_value_changed,
834                                                               view);
835                         g_object_unref (*to_set);
836                 }
837
838                 *to_set = adjustment;
839                 view_set_adjustment_values (view, orientation);
840
841                 if (*to_set) {
842                         g_object_ref (*to_set);
843                         g_signal_connect (*to_set, "value_changed",
844                                           G_CALLBACK (on_adjustment_value_changed), view);
845                 }
846         }
847 }
848
849 static void
850 ev_view_set_scroll_adjustments (EvView *view,
851                                 GtkAdjustment  *hadjustment,
852                                 GtkAdjustment  *vadjustment)
853 {
854         set_scroll_adjustment (view, GTK_ORIENTATION_HORIZONTAL, hadjustment);
855         set_scroll_adjustment (view, GTK_ORIENTATION_VERTICAL, vadjustment);
856
857         view_update_adjustments (view);
858 }
859
860 static void
861 add_scroll_binding (GtkBindingSet  *binding_set,
862                     guint           keyval,
863                     GtkScrollType   scroll,
864                     gboolean        horizontal)
865 {
866   guint keypad_keyval = keyval - GDK_Left + GDK_KP_Left;
867   
868   gtk_binding_entry_add_signal (binding_set, keyval, 0,
869                                 "scroll_view", 2,
870                                 GTK_TYPE_SCROLL_TYPE, scroll,
871                                 G_TYPE_BOOLEAN, horizontal);
872   gtk_binding_entry_add_signal (binding_set, keypad_keyval, 0,
873                                 "scroll_view", 2,
874                                 GTK_TYPE_SCROLL_TYPE, scroll,
875                                 G_TYPE_BOOLEAN, horizontal);
876 }
877
878 static void
879 ev_view_scroll_view (EvView *view,
880                      GtkScrollType scroll,
881                      gboolean horizontal)
882 {
883         if (scroll == GTK_SCROLL_PAGE_BACKWARD) {
884                 ev_view_set_page (view, ev_view_get_page (view) - 1);
885         } else if (scroll == GTK_SCROLL_PAGE_FORWARD) {
886                 ev_view_set_page (view, ev_view_get_page (view) + 1);
887         } else {
888                 GtkAdjustment *adjustment;
889                 double value;
890
891                 if (horizontal) {
892                         adjustment = view->hadjustment; 
893                 } else {
894                         adjustment = view->vadjustment;
895                 }
896
897                 value = adjustment->value;
898
899                 switch (scroll) {
900                         case GTK_SCROLL_STEP_BACKWARD:  
901                                 value -= adjustment->step_increment; 
902                                 break;
903                         case GTK_SCROLL_STEP_FORWARD:
904                                 value += adjustment->step_increment; 
905                                 break;
906                         default:
907                                 break;
908                 }
909
910                 value = CLAMP (value, adjustment->lower,
911                                adjustment->upper - adjustment->page_size);
912
913                 gtk_adjustment_set_value (adjustment, value);
914         }
915 }
916
917 static void
918 ev_view_set_property (GObject *object,
919                       guint prop_id,
920                       const GValue *value,
921                       GParamSpec *pspec)
922 {
923         switch (prop_id)
924         {
925                 /* Read only */
926                 case PROP_STATUS:
927                 case PROP_FIND_STATUS:
928                         break;
929         }
930 }
931
932 static void
933 ev_view_get_property (GObject *object,
934                       guint prop_id,
935                       GValue *value,
936                       GParamSpec *pspec)
937 {
938         EvView *view = EV_VIEW (object);
939
940         switch (prop_id)
941         {
942                 case PROP_STATUS:
943                         g_value_set_string (value, view->status);
944                         break;
945                 case PROP_FIND_STATUS:
946                         g_value_set_string (value, view->status);
947                         break;
948         }
949 }
950
951 static void
952 ev_view_class_init (EvViewClass *class)
953 {
954         GObjectClass *object_class = G_OBJECT_CLASS (class);
955         GtkObjectClass *gtk_object_class = GTK_OBJECT_CLASS (class);
956         GtkWidgetClass *widget_class = GTK_WIDGET_CLASS (class);
957         GtkBindingSet *binding_set;
958
959         object_class->finalize = ev_view_finalize;
960         object_class->set_property = ev_view_set_property;
961         object_class->get_property = ev_view_get_property;
962
963         widget_class->expose_event = ev_view_expose_event;
964         widget_class->button_press_event = ev_view_button_press_event;
965         widget_class->motion_notify_event = ev_view_motion_notify_event;
966         widget_class->button_release_event = ev_view_button_release_event;
967         widget_class->size_request = ev_view_size_request;
968         widget_class->size_allocate = ev_view_size_allocate;
969         widget_class->realize = ev_view_realize;
970         widget_class->unrealize = ev_view_unrealize;
971         gtk_object_class->destroy = ev_view_destroy;
972
973         class->set_scroll_adjustments = ev_view_set_scroll_adjustments;
974         class->scroll_view = ev_view_scroll_view;
975
976         widget_class->set_scroll_adjustments_signal =  g_signal_new ("set-scroll-adjustments",
977                                                                      G_OBJECT_CLASS_TYPE (object_class),
978                                                                      G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
979                                                                      G_STRUCT_OFFSET (EvViewClass, set_scroll_adjustments),
980                                                                      NULL, NULL,
981                                                                      ev_marshal_VOID__OBJECT_OBJECT,
982                                                                      G_TYPE_NONE, 2,
983                                                                      GTK_TYPE_ADJUSTMENT,
984                                                                      GTK_TYPE_ADJUSTMENT);
985         page_changed_signal = g_signal_new ("page-changed",
986                                             G_OBJECT_CLASS_TYPE (object_class),
987                                             G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
988                                             G_STRUCT_OFFSET (EvViewClass, page_changed),
989                                             NULL, NULL,
990                                             ev_marshal_VOID__NONE,
991                                             G_TYPE_NONE, 0);
992
993         g_signal_new ("scroll_view",
994                       G_TYPE_FROM_CLASS (object_class),
995                       G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
996                       G_STRUCT_OFFSET (EvViewClass, scroll_view),
997                       NULL, NULL,
998                       ev_marshal_VOID__ENUM_BOOLEAN,
999                       G_TYPE_NONE, 2,
1000                       GTK_TYPE_SCROLL_TYPE,
1001                       G_TYPE_BOOLEAN);
1002
1003         g_object_class_install_property (object_class,
1004                                          PROP_STATUS,
1005                                          g_param_spec_string ("status",
1006                                                               "Status Message",
1007                                                               "The status message",
1008                                                               NULL,
1009                                                               G_PARAM_READABLE));
1010
1011         g_object_class_install_property (object_class,
1012                                          PROP_STATUS,
1013                                          g_param_spec_string ("find-status",
1014                                                               "Find Status Message",
1015                                                               "The find status message",
1016                                                               NULL,
1017                                                               G_PARAM_READABLE));
1018
1019         binding_set = gtk_binding_set_by_class (class);
1020
1021         add_scroll_binding (binding_set, GDK_Left,  GTK_SCROLL_STEP_BACKWARD, TRUE);
1022         add_scroll_binding (binding_set, GDK_Right, GTK_SCROLL_STEP_FORWARD,  TRUE);
1023         add_scroll_binding (binding_set, GDK_Up,    GTK_SCROLL_STEP_BACKWARD, FALSE);
1024         add_scroll_binding (binding_set, GDK_Down,  GTK_SCROLL_STEP_FORWARD,  FALSE);
1025
1026         add_scroll_binding (binding_set, GDK_Page_Up,   GTK_SCROLL_PAGE_BACKWARD, FALSE);
1027         add_scroll_binding (binding_set, GDK_Page_Down, GTK_SCROLL_PAGE_FORWARD,  FALSE);
1028 }
1029
1030 static void
1031 ev_view_init (EvView *view)
1032 {
1033         GTK_WIDGET_SET_FLAGS (view, GTK_CAN_FOCUS);
1034
1035         view->spacing = 10;
1036         view->scale = 1.0;
1037         view->pressed_button = -1;
1038         view->cursor = EV_VIEW_CURSOR_NORMAL;
1039 }
1040
1041 static void
1042 update_find_status_message (EvView *view)
1043 {
1044         char *message;
1045
1046         if (ev_document_get_page (view->document) == view->find_page) {
1047                 int results;
1048
1049                 results = ev_document_find_get_n_results
1050                                 (EV_DOCUMENT_FIND (view->document));
1051
1052                 /* TRANS: Sometimes this could be better translated as
1053                    "%d hit(s) on this page".  Therefore this string
1054                    contains plural cases. */
1055                 message = g_strdup_printf (ngettext ("%d found on this page",
1056                                                      "%d found on this page",
1057                                                      results),
1058                                            results);
1059         } else {
1060                 double percent;
1061                 
1062                 percent = ev_document_find_get_progress
1063                                 (EV_DOCUMENT_FIND (view->document));
1064
1065                 if (percent >= (1.0 - 1e-10)) {
1066                         message = g_strdup (_("Not found"));
1067                 } else {
1068                         message = g_strdup_printf (_("%3d%% remaining to search"),
1069                                                    (int) ((1.0 - percent) * 100));
1070                 }
1071                 
1072         }
1073
1074         ev_view_set_find_status (view, message);
1075         g_free (message);
1076 }
1077
1078 static void
1079 set_document_page (EvView *view, int new_page)
1080 {
1081         int page;
1082         int pages;
1083
1084         pages = ev_document_get_n_pages (view->document);
1085         page = CLAMP (new_page, 1, pages);
1086
1087         if (view->document) {
1088                 int old_page = ev_document_get_page (view->document);
1089                 int old_width, old_height;
1090
1091                 ev_document_get_page_size (view->document,
1092                                            -1, 
1093                                            &old_width, &old_height);
1094
1095                 if (old_page != page) {
1096                         if (view->cursor != EV_VIEW_CURSOR_HIDDEN) {
1097                                 ev_view_set_cursor (view, EV_VIEW_CURSOR_WAIT);
1098                         }
1099                         ev_document_set_page (view->document, page);
1100                 }
1101
1102                 if (old_page != ev_document_get_page (view->document)) {
1103                         int width, height;
1104                         
1105                         g_signal_emit (view, page_changed_signal, 0);
1106
1107                         view->has_selection = FALSE;
1108                         ev_document_get_page_size (view->document,
1109                                                    -1, 
1110                                                    &width, &height);
1111                         if (width != old_width || height != old_height)
1112                                 gtk_widget_queue_resize (GTK_WIDGET (view));
1113
1114                         gtk_adjustment_set_value (view->vadjustment,
1115                                                   view->vadjustment->lower);
1116                 }
1117
1118                 if (EV_IS_DOCUMENT_FIND (view->document)) {
1119                         view->find_page = page;
1120                         view->find_result = 0;
1121                         update_find_status_message (view);
1122                 }
1123         }
1124 }
1125
1126 #define MARGIN 5
1127
1128 static void
1129 ensure_rectangle_is_visible (EvView *view, GdkRectangle *rect)
1130 {
1131         GtkWidget *widget = GTK_WIDGET (view);
1132         GtkAdjustment *adjustment;
1133         int value;
1134
1135         adjustment = view->vadjustment;
1136
1137         if (rect->y < adjustment->value) {
1138                 value = MAX (adjustment->lower, rect->y - MARGIN);
1139                 gtk_adjustment_set_value (view->vadjustment, value);
1140         } else if (rect->y + rect->height >
1141                    adjustment->value + widget->allocation.height) {
1142                 value = MIN (adjustment->upper, rect->y + rect->height -
1143                              widget->allocation.height + MARGIN);
1144                 gtk_adjustment_set_value (view->vadjustment, value);
1145         }
1146
1147         adjustment = view->hadjustment;
1148
1149         if (rect->x < adjustment->value) {
1150                 value = MAX (adjustment->lower, rect->x - MARGIN);
1151                 gtk_adjustment_set_value (view->hadjustment, value);
1152         } else if (rect->x + rect->height >
1153                    adjustment->value + widget->allocation.width) {
1154                 value = MIN (adjustment->upper, rect->x + rect->width -
1155                              widget->allocation.width + MARGIN);
1156                 gtk_adjustment_set_value (view->hadjustment, value);
1157         }
1158 }
1159
1160 static void
1161 jump_to_find_result (EvView *view)
1162 {
1163         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1164         GdkRectangle rect;
1165         int n_results;
1166
1167         n_results = ev_document_find_get_n_results (find);
1168
1169         if (n_results > view->find_result) {
1170                 ev_document_find_get_result
1171                         (find, view->find_result, &rect);
1172                 ensure_rectangle_is_visible (view, &rect);
1173         }
1174 }
1175
1176 static void
1177 jump_to_find_page (EvView *view)
1178 {
1179         int n_pages, i;
1180
1181         n_pages = ev_document_get_n_pages (view->document);
1182
1183         for (i = 0; i <= n_pages; i++) {
1184                 int has_results;
1185                 int page;
1186
1187                 page = i + view->find_page;
1188                 if (page > n_pages) {
1189                         page = page - n_pages;
1190                 }
1191
1192                 has_results = ev_document_find_page_has_results
1193                                 (EV_DOCUMENT_FIND (view->document), page);
1194                 if (has_results == -1) {
1195                         view->find_page = page;
1196                         break;
1197                 } else if (has_results == 1) {
1198                         set_document_page (view, page);
1199                         jump_to_find_result (view);
1200                         break;
1201                 }
1202         }
1203 }
1204
1205 static void
1206 find_changed_cb (EvDocument *document, int page, EvView *view)
1207 {
1208         jump_to_find_page (view);
1209         jump_to_find_result (view);
1210         update_find_status_message (view);
1211
1212         if (ev_document_get_page (document) == page) {
1213                 gtk_widget_queue_draw (GTK_WIDGET (view));
1214         }
1215 }
1216
1217 static void
1218 page_changed_callback (EvDocument *document,
1219                            EvView     *view)
1220 {
1221         LOG ("Page changed callback");
1222
1223         gtk_widget_queue_draw (GTK_WIDGET (view));
1224
1225         if (view->cursor != EV_VIEW_CURSOR_HIDDEN) {
1226                 ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL);
1227         }
1228 }
1229
1230 static void
1231 scale_changed_callback (EvDocument *document,
1232                         EvView     *view)
1233 {
1234         LOG ("Scale changed callback");
1235
1236         gtk_widget_queue_resize (GTK_WIDGET (view));
1237 }
1238
1239 /*** Public API ***/       
1240      
1241 GtkWidget*
1242 ev_view_new (void)
1243 {
1244         return g_object_new (EV_TYPE_VIEW, NULL);
1245 }
1246
1247 void
1248 ev_view_set_document (EvView     *view,
1249                       EvDocument *document)
1250 {
1251         g_return_if_fail (EV_IS_VIEW (view));
1252
1253         if (document != view->document) {
1254                 if (view->document) {
1255                         g_signal_handlers_disconnect_by_func (view->document,
1256                                                               find_changed_cb,
1257                                                               view);
1258                         g_object_unref (view->document);
1259                 }
1260
1261                 view->document = document;
1262                 view->find_page = 1;
1263                 view->find_result = 0;
1264
1265                 if (view->document) {
1266                         g_object_ref (view->document);
1267                         if (EV_IS_DOCUMENT_FIND (view->document)) {
1268                                 g_signal_connect (view->document,
1269                                                   "find_changed",
1270                                                   G_CALLBACK (find_changed_cb),
1271                                                   view);
1272                         }
1273                         g_signal_connect (view->document,
1274                                           "page_changed",
1275                                           G_CALLBACK (page_changed_callback),
1276                                           view);
1277                         g_signal_connect (view->document,
1278                                           "scale_changed",
1279                                           G_CALLBACK (scale_changed_callback),
1280                                           view);
1281                 }
1282
1283                 if (GTK_WIDGET_REALIZED (view))
1284                         ev_document_set_target (view->document, view->bin_window);
1285                 
1286                 gtk_widget_queue_resize (GTK_WIDGET (view));
1287                 
1288                 g_signal_emit (view, page_changed_signal, 0);
1289         }
1290 }
1291
1292 static void
1293 go_to_link (EvView *view, EvLink *link)
1294 {
1295         EvLinkType type;
1296         const char *uri;
1297         int page;
1298
1299         type = ev_link_get_link_type (link);
1300         
1301         switch (type) {
1302                 case EV_LINK_TYPE_TITLE:
1303                         break;
1304                 case EV_LINK_TYPE_PAGE:
1305                         page = ev_link_get_page (link);
1306                         set_document_page (view, page);
1307                         break;
1308                 case EV_LINK_TYPE_EXTERNAL_URI:
1309                         uri = ev_link_get_uri (link);
1310                         gnome_vfs_url_show (uri);
1311                         break;
1312         }
1313 }
1314
1315 void
1316 ev_view_go_to_link (EvView *view, EvLink *link)
1317 {
1318         go_to_link (view, link);
1319 }
1320
1321 void
1322 ev_view_set_page (EvView *view,
1323                   int     page)
1324 {
1325         g_return_if_fail (EV_IS_VIEW (view));
1326
1327         set_document_page (view, page);
1328 }
1329
1330 int
1331 ev_view_get_page (EvView *view)
1332 {
1333         if (view->document)
1334                 return ev_document_get_page (view->document);
1335         else
1336                 return 1;
1337 }
1338
1339 static void
1340 ev_view_zoom (EvView   *view,
1341               double    factor,
1342               gboolean  relative)
1343 {
1344         double scale;
1345
1346         if (relative)
1347                 scale = view->scale * factor;
1348         else
1349                 scale = factor;
1350
1351         scale = CLAMP (scale, MIN_SCALE, MAX_SCALE);
1352
1353         view->scale = scale;
1354
1355         ev_document_set_scale (view->document, view->scale);
1356 }
1357
1358 void
1359 ev_view_zoom_in (EvView *view)
1360 {
1361         view->width = view->height = -1;
1362         ev_view_zoom (view, ZOOM_IN_FACTOR, TRUE);
1363 }
1364
1365 void
1366 ev_view_zoom_out (EvView *view)
1367 {
1368         view->width = view->height = -1;
1369         ev_view_zoom (view, ZOOM_OUT_FACTOR, TRUE);
1370 }
1371
1372 static double
1373 size_to_zoom_factor (EvView *view, int width, int height)
1374 {
1375         int doc_width, doc_height;
1376         double scale, scale_w, scale_h;
1377         GtkBorder border;
1378
1379         doc_width = doc_height = 0;
1380         scale = scale_w = scale_h = 1.0;
1381         ev_document_get_page_size (view->document, -1, &doc_width, &doc_height);
1382         /* FIXME: The border size isn't constant.  Ugh.  Still, if we have extra
1383          * space, we just cut it from the border */
1384         ev_document_misc_get_page_border_size (doc_width, doc_height, &border);
1385
1386         if (doc_width == 0 && doc_height == 0) {
1387                 return 0;
1388         }
1389
1390         if (width >= 0) {
1391                 int target_width;
1392
1393                 target_width = width - (view->spacing * 2 + border.left + border.right);
1394                 scale = scale_w = (double)target_width * view->scale / doc_width;
1395         }
1396
1397         if (height >= 0) {
1398                 int target_height;
1399
1400                 target_height = height - (view->spacing * 2 + border.top + border.bottom);
1401                 scale = scale_h = (double)target_height * view->scale / doc_height;
1402         }
1403
1404         if (width >= 0 && height >= 0) {
1405                 scale = (scale_w < scale_h) ? scale_w : scale_h;
1406         }
1407
1408         return scale;
1409 }
1410
1411 void
1412 ev_view_set_size (EvView     *view,
1413                   int         width,
1414                   int         height)
1415 {
1416         double factor;
1417
1418         if (!view->document) {
1419                 return;
1420         }
1421
1422         if (view->width != width ||
1423             view->height != height) {
1424                 view->width = width;
1425                 view->height = height;
1426                 factor = size_to_zoom_factor (view, width, height);
1427                 ev_view_zoom (view, factor, FALSE); 
1428         }
1429 }
1430
1431 const char *
1432 ev_view_get_status (EvView *view)
1433 {
1434         g_return_val_if_fail (EV_IS_VIEW (view), NULL);
1435
1436         return view->status;
1437 }
1438
1439 const char *
1440 ev_view_get_find_status (EvView *view)
1441 {
1442         g_return_val_if_fail (EV_IS_VIEW (view), NULL);
1443
1444         return view->find_status;
1445 }
1446
1447 void
1448 ev_view_find_next (EvView *view)
1449 {
1450         int n_results, n_pages;
1451         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1452
1453         n_results = ev_document_find_get_n_results (find);
1454         n_pages = ev_document_get_n_pages (view->document);
1455
1456         view->find_result++;
1457
1458         if (view->find_result >= n_results) {
1459                 view->find_result = 0;
1460                 view->find_page++;
1461
1462                 if (view->find_page > n_pages) {
1463                         view->find_page = 1;
1464                 }
1465
1466                 jump_to_find_page (view);
1467         } else {
1468                 jump_to_find_result (view);
1469                 gtk_widget_queue_draw (GTK_WIDGET (view));
1470         }
1471 }
1472
1473 void
1474 ev_view_find_previous (EvView *view)
1475 {
1476         int n_results, n_pages;
1477         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1478
1479         n_results = ev_document_find_get_n_results (find);
1480         n_pages = ev_document_get_n_pages (view->document);
1481
1482         view->find_result--;
1483
1484         if (view->find_result < 0) {
1485                 view->find_result = 0;
1486                 view->find_page--;
1487
1488                 if (view->find_page < 1) {
1489                         view->find_page = n_pages;
1490                 }
1491
1492                 jump_to_find_page (view);
1493         } else {
1494                 jump_to_find_result (view);
1495                 gtk_widget_queue_draw (GTK_WIDGET (view));
1496         }
1497 }
1498 void
1499 ev_view_hide_cursor (EvView *view)
1500 {
1501        ev_view_set_cursor (view, EV_VIEW_CURSOR_HIDDEN);
1502 }
1503
1504 void
1505 ev_view_show_cursor (EvView *view)
1506 {
1507        ev_view_set_cursor (view, EV_VIEW_CURSOR_LINK);
1508 }