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 } EvViewCursor;
  65
  66 #define ZOOM_IN_FACTOR  1.2
  67 #define ZOOM_OUT_FACTOR (1.0/ZOOM_IN_FACTOR)
  68
  69 #define MIN_SCALE 0.05409
  70 #define MAX_SCALE 18.4884
  71 #define ZOOM_EPSILON 1e-10
  72
  73
  74 struct _EvView {
  75         GtkWidget parent_instance;
  76
  77         EvDocument *document;
  78
  79         GdkWindow *bin_window;
  80
  81         char *status;
  82         char *find_status;
  83
  84         int scroll_x;
  85         int scroll_y;
  86
  87         gboolean pressed_button;
  88         gboolean has_selection;
  89         GdkPoint selection_start;
  90         GdkRectangle selection;
  91         EvViewCursor cursor;
  92
  93         GtkAdjustment *hadjustment;
  94         GtkAdjustment *vadjustment;
  95
  96         int find_page;
  97         int find_result;
  98         int spacing;
  99
 100         double scale;
 101         EvSizingMode sizing_mode;
 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_size_request (GtkWidget      *widget,
 219                       GtkRequisition *requisition)
 220 {
 221         EvView *view = EV_VIEW (widget);
 222         GtkBorder border;
 223         gint width, height;
 224
 225         if (! GTK_WIDGET_REALIZED (widget))
 226                 return;
 227
 228         if (! view->document) {
 229                 requisition->width = 1;
 230                 requisition->height = 1;
 231                 return;
 232         }
 233
 234         ev_document_get_page_size (view->document, -1,
 235                                    &width, &height);
 236         ev_document_misc_get_page_border_size (width, height, &border);
 237
 238         switch (view->sizing_mode) {
 239         case EV_SIZING_BEST_FIT:
 240                 requisition->width = MIN_SCALE * ((float) width) / view->scale;
 241                 requisition->height = MIN_SCALE * ((float) height) / view->scale;
 242                 break;
 243         case EV_SIZING_FIT_WIDTH:
 244                 requisition->width = MIN_SCALE * ((float) width) / view->scale;
 245                 requisition->height = height + border.top + border.bottom;
 246                 requisition->height += view->spacing * 2;
 247                 break;
 248         case EV_SIZING_FREE:
 249                 requisition->width = width + border.left + border.right;
 250                 requisition->height = height + border.top + border.bottom;
 251                 requisition->width += view->spacing * 2;
 252                 requisition->height += view->spacing * 2;
 253                 break;
 254         }
 255 }
 256
 257 static void
 258 ev_view_size_allocate (GtkWidget      *widget,
 259                        GtkAllocation  *allocation)
 260 {
 261         EvView *view = EV_VIEW (widget);
 262
 263         GTK_WIDGET_CLASS (ev_view_parent_class)->size_allocate (widget, allocation);
 264
 265         view_set_adjustment_values (view, GTK_ORIENTATION_HORIZONTAL);
 266         view_set_adjustment_values (view, GTK_ORIENTATION_VERTICAL);
 267
 268         if (GTK_WIDGET_REALIZED (widget)) {
 269                 gdk_window_resize (view->bin_window,
 270                                    MAX (widget->allocation.width, widget->requisition.width),
 271                                    MAX (widget->allocation.height, widget->requisition.height));
 272         }
 273 }
 274
 275 static void
 276 ev_view_realize (GtkWidget *widget)
 277 {
 278         EvView *view = EV_VIEW (widget);
 279         GdkWindowAttr attributes;
 280
 281         GTK_WIDGET_SET_FLAGS (widget, GTK_REALIZED);
 282
 283
 284         attributes.window_type = GDK_WINDOW_CHILD;
 285         attributes.wclass = GDK_INPUT_OUTPUT;
 286         attributes.visual = gtk_widget_get_visual (widget);
 287         attributes.colormap = gtk_widget_get_colormap (widget);
 288
 289         attributes.x = widget->allocation.x;
 290         attributes.y = widget->allocation.y;
 291         attributes.width = widget->allocation.width;
 292         attributes.height = widget->allocation.height;
 293         attributes.event_mask = 0;
 294
 295         widget->window = gdk_window_new (gtk_widget_get_parent_window (widget),
 296                                          &attributes,
 297                                          GDK_WA_X | GDK_WA_Y |
 298                                          GDK_WA_COLORMAP |
 299                                          GDK_WA_VISUAL);
 300         gdk_window_set_user_data (widget->window, widget);
 301         widget->style = gtk_style_attach (widget->style, widget->window);
 302         gdk_window_set_background (widget->window, &widget->style->mid[widget->state]);
 303
 304         attributes.x = 0;
 305         attributes.y = 0;
 306         attributes.width = MAX (widget->allocation.width, widget->requisition.width);
 307         attributes.height = MAX (widget->allocation.height, widget->requisition.height);
 308         attributes.event_mask = GDK_EXPOSURE_MASK |
 309                                 GDK_BUTTON_PRESS_MASK |
 310                                 GDK_BUTTON_RELEASE_MASK |
 311                                 GDK_SCROLL_MASK |
 312                                 GDK_KEY_PRESS_MASK |
 313                                 GDK_POINTER_MOTION_MASK;
 314
 315         view->bin_window = gdk_window_new (widget->window,
 316                                            &attributes,
 317                                            GDK_WA_X | GDK_WA_Y |
 318                                            GDK_WA_COLORMAP |
 319                                            GDK_WA_VISUAL);
 320         gdk_window_set_user_data (view->bin_window, widget);
 321         gdk_window_show (view->bin_window);
 322
 323         widget->style = gtk_style_attach (widget->style, view->bin_window);
 324         gdk_window_set_background (view->bin_window, &widget->style->mid[widget->state]);
 325
 326         if (view->document) {
 327                 ev_document_set_target (view->document, view->bin_window);
 328
 329                 /* We can't get page size without a target, so we have to
 330                  * queue a size request at realization. Could be fixed
 331                  * with EvDocument changes to allow setting a GdkScreen
 332                  * without setting a target.
 333                  */
 334                 gtk_widget_queue_resize (widget);
 335         }
 336 }
 337
 338 static void
 339 ev_view_unrealize (GtkWidget *widget)
 340 {
 341         EvView *view = EV_VIEW (widget);
 342
 343         if (view->document)
 344                 ev_document_set_target (view->document, NULL);
 345
 346         gdk_window_set_user_data (view->bin_window, NULL);
 347         gdk_window_destroy (view->bin_window);
 348         view->bin_window = NULL;
 349
 350         GTK_WIDGET_CLASS (ev_view_parent_class)->unrealize (widget);
 351 }
 352
 353 static guint32
 354 ev_gdk_color_to_rgb (const GdkColor *color)
 355 {
 356   guint32 result;
 357   result = (0xff0000 | (color->red & 0xff00));
 358   result <<= 8;
 359   result |= ((color->green & 0xff00) | (color->blue >> 8));
 360   return result;
 361 }
 362
 363 static void
 364 draw_rubberband (GtkWidget *widget, GdkWindow *window,
 365                  const GdkRectangle *rect, guchar alpha)
 366 {
 367         GdkGC *gc;
 368         GdkPixbuf *pixbuf;
 369         GdkColor *fill_color_gdk;
 370         guint fill_color;
 371
 372         fill_color_gdk = gdk_color_copy (&GTK_WIDGET (widget)->style->base[GTK_STATE_SELECTED]);
 373         fill_color = ev_gdk_color_to_rgb (fill_color_gdk) << 8 | alpha;
 374
 375         pixbuf = gdk_pixbuf_new (GDK_COLORSPACE_RGB, TRUE, 8,
 376                                  rect->width, rect->height);
 377         gdk_pixbuf_fill (pixbuf, fill_color);
 378
 379         gdk_draw_pixbuf (window, NULL, pixbuf,
 380                          0, 0,
 381                          rect->x,rect->y,
 382                          rect->width, rect->height,
 383                          GDK_RGB_DITHER_NONE,
 384                          0, 0);
 385
 386         g_object_unref (pixbuf);
 387
 388         gc = gdk_gc_new (window);
 389         gdk_gc_set_rgb_fg_color (gc, fill_color_gdk);
 390         gdk_draw_rectangle (window, gc, FALSE,
 391                             rect->x, rect->y,
 392                             rect->width - 1,
 393                             rect->height - 1);
 394         g_object_unref (gc);
 395
 396         gdk_color_free (fill_color_gdk);
 397 }
 398
 399 static void
 400 highlight_find_results (EvView *view)
 401 {
 402         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
 403         int i, results;
 404
 405         results = ev_document_find_get_n_results (find);
 406
 407         for (i = 0; i < results; i++) {
 408                 GdkRectangle rectangle;
 409                 guchar alpha;
 410
 411                 alpha = (i == view->find_result) ? 0x90 : 0x20;
 412                 ev_document_find_get_result (find, i, &rectangle);
 413                 draw_rubberband (GTK_WIDGET (view), view->bin_window,
 414                                  &rectangle, alpha);
 415         }
 416 }
 417
 418
 419 static void
 420 expose_bin_window (GtkWidget      *widget,
 421                    GdkEventExpose *event)
 422 {
 423         EvView *view = EV_VIEW (widget);
 424         int x_offset, y_offset;
 425         GtkBorder border;
 426         gint width, height;
 427         GdkRectangle area;
 428         int target_width, target_height;
 429
 430         if (view->document == NULL)
 431                 return;
 432
 433         ev_document_get_page_size (view->document, -1,
 434                                    &width, &height);
 435         ev_document_misc_get_page_border_size (width, height, &border);
 436
 437         x_offset = view->spacing;
 438         y_offset = view->spacing;
 439         target_width = width + border.left + border.right + view->spacing * 2;
 440         target_height = height + border.top + border.bottom + view->spacing * 2;
 441
 442         x_offset += MAX (0, (widget->allocation.width - target_width) / 2);
 443         y_offset += MAX (0, (widget->allocation.height - target_height) / 2);
 444
 445         /* Paint the frame */
 446         area.x = x_offset;
 447         area.y = y_offset;
 448         area.width = width + border.left + border.right;
 449         area.height = height + border.top + border.bottom;
 450         ev_document_misc_paint_one_page (view->bin_window, widget, &area, &border);
 451
 452         /* Render the document itself */
 453         ev_document_set_page_offset (view->document,
 454                                      x_offset + border.left,
 455                                      y_offset + border.top);
 456
 457         LOG ("Render area %d %d %d %d", event->area.x, event->area.y,
 458              event->area.width, event->area.height);
 459
 460         ev_document_render (view->document,
 461                             event->area.x, event->area.y,
 462                             event->area.width, event->area.height);
 463
 464         if (EV_IS_DOCUMENT_FIND (view->document)) {
 465                 highlight_find_results (view);
 466         }
 467
 468         if (view->has_selection) {
 469                 draw_rubberband (widget, view->bin_window,
 470                                  &view->selection, 0x40);
 471         }
 472 }
 473
 474 static gboolean
 475 ev_view_expose_event (GtkWidget      *widget,
 476                       GdkEventExpose *event)
 477 {
 478         EvView *view = EV_VIEW (widget);
 479
 480         if (event->window == view->bin_window)
 481                 expose_bin_window (widget, event);
 482         else
 483                 return GTK_WIDGET_CLASS (ev_view_parent_class)->expose_event (widget, event);
 484
 485         return FALSE;
 486 }
 487
 488 void
 489 ev_view_select_all (EvView *ev_view)
 490 {
 491         GtkWidget *widget = GTK_WIDGET (ev_view);
 492
 493         g_return_if_fail (EV_IS_VIEW (ev_view));
 494
 495         ev_view->has_selection = TRUE;
 496         ev_view->selection.x = ev_view->selection.y = 0;
 497         ev_view->selection.width = widget->requisition.width;
 498         ev_view->selection.height = widget->requisition.height;
 499
 500         gtk_widget_queue_draw (widget);
 501 }
 502
 503 void
 504 ev_view_copy (EvView *ev_view)
 505 {
 506         GtkClipboard *clipboard;
 507         char *text;
 508
 509         text = ev_document_get_text (ev_view->document, &ev_view->selection);
 510         clipboard = gtk_widget_get_clipboard (GTK_WIDGET (ev_view),
 511                                               GDK_SELECTION_CLIPBOARD);
 512         gtk_clipboard_set_text (clipboard, text, -1);
 513         g_free (text);
 514 }
 515
 516 static void
 517 ev_view_primary_get_cb (GtkClipboard     *clipboard,
 518                         GtkSelectionData *selection_data,
 519                         guint             info,
 520                         gpointer          data)
 521 {
 522         EvView *ev_view = EV_VIEW (data);
 523         char *text;
 524
 525         text = ev_document_get_text (ev_view->document, &ev_view->selection);
 526         gtk_selection_data_set_text (selection_data, text, -1);
 527 }
 528
 529 static void
 530 ev_view_primary_clear_cb (GtkClipboard *clipboard,
 531                           gpointer      data)
 532 {
 533         EvView *ev_view = EV_VIEW (data);
 534
 535         ev_view->has_selection = FALSE;
 536 }
 537
 538 static void
 539 ev_view_update_primary_selection (EvView *ev_view)
 540 {
 541         GtkClipboard *clipboard;
 542
 543         clipboard = gtk_widget_get_clipboard (GTK_WIDGET (ev_view),
 544                                               GDK_SELECTION_PRIMARY);
 545
 546         if (ev_view->has_selection) {
 547                 if (!gtk_clipboard_set_with_owner (clipboard,
 548                                                    targets,
 549                                                    G_N_ELEMENTS (targets),
 550                                                    ev_view_primary_get_cb,
 551                                                    ev_view_primary_clear_cb,
 552                                                    G_OBJECT (ev_view)))
 553                         ev_view_primary_clear_cb (clipboard, ev_view);
 554         } else {
 555                 if (gtk_clipboard_get_owner (clipboard) == G_OBJECT (ev_view))
 556                         gtk_clipboard_clear (clipboard);
 557         }
 558 }
 559
 560 static gboolean
 561 ev_view_button_press_event (GtkWidget      *widget,
 562                             GdkEventButton *event)
 563 {
 564         EvView *view = EV_VIEW (widget);
 565
 566         if (!GTK_WIDGET_HAS_FOCUS (widget)) {
 567                 gtk_widget_grab_focus (widget);
 568         }
 569
 570         view->pressed_button = event->button;
 571
 572         switch (event->button) {
 573                 case 1:
 574                         if (view->has_selection) {
 575                                 view->has_selection = FALSE;
 576                                 gtk_widget_queue_draw (widget);
 577                         }
 578
 579                         view->selection_start.x = event->x;
 580                         view->selection_start.y = event->y;
 581                         break;
 582         }
 583
 584         return TRUE;
 585 }
 586
 587 static char *
 588 status_message_from_link (EvLink *link)
 589 {
 590         EvLinkType type;
 591         char *msg;
 592         int page;
 593
 594         type = ev_link_get_link_type (link);
 595
 596         switch (type) {
 597                 case EV_LINK_TYPE_TITLE:
 598                         msg = g_strdup (ev_link_get_title (link));
 599                         break;
 600                 case EV_LINK_TYPE_PAGE:
 601                         page = ev_link_get_page (link);
 602                         msg = g_strdup_printf (_("Go to page %d"), page);
 603                         break;
 604                 case EV_LINK_TYPE_EXTERNAL_URI:
 605                         msg = g_strdup (ev_link_get_uri (link));
 606                         break;
 607                 default:
 608                         msg = NULL;
 609         }
 610
 611         return msg;
 612 }
 613
 614 static void
 615 ev_view_set_status (EvView *view, const char *message)
 616 {
 617         g_return_if_fail (EV_IS_VIEW (view));
 618
 619         if (message != view->status) {
 620                 g_free (view->status);
 621                 view->status = g_strdup (message);
 622                 g_object_notify (G_OBJECT (view), "status");
 623         }
 624 }
 625
 626 static void
 627 ev_view_set_find_status (EvView *view, const char *message)
 628 {
 629         g_return_if_fail (EV_IS_VIEW (view));
 630
 631         g_free (view->find_status);
 632         view->find_status = g_strdup (message);
 633         g_object_notify (G_OBJECT (view), "find-status");
 634 }
 635
 636
 637 static void
 638 ev_view_set_cursor (EvView *view, EvViewCursor new_cursor)
 639 {
 640         GdkCursor *cursor = NULL;
 641         GdkDisplay *display;
 642         GtkWidget *widget;
 643
 644         if (view->cursor == new_cursor) {
 645                 return;
 646         }
 647
 648         widget = gtk_widget_get_toplevel (GTK_WIDGET (view));
 649         display = gtk_widget_get_display (widget);
 650         view->cursor = new_cursor;
 651
 652         switch (new_cursor) {
 653                 case EV_VIEW_CURSOR_NORMAL:
 654                         gdk_window_set_cursor (widget->window, NULL);
 655                         break;
 656                 case EV_VIEW_CURSOR_LINK:
 657                         cursor = gdk_cursor_new_for_display (display, GDK_HAND2);
 658                         break;
 659                 case EV_VIEW_CURSOR_WAIT:
 660                         cursor = gdk_cursor_new_for_display (display, GDK_WATCH);
 661                         break;
 662         }
 663
 664         if (cursor) {
 665                 gdk_window_set_cursor (widget->window, cursor);
 666                 gdk_cursor_unref (cursor);
 667                 gdk_flush();
 668         }
 669 }
 670
 671 static gboolean
 672 ev_view_motion_notify_event (GtkWidget      *widget,
 673                              GdkEventMotion *event)
 674 {
 675         EvView *view = EV_VIEW (widget);
 676
 677         if (view->pressed_button > 0) {
 678                 view->has_selection = TRUE;
 679                 view->selection.x = MIN (view->selection_start.x, event->x);
 680                 view->selection.y = MIN (view->selection_start.y, event->y);
 681                 view->selection.width = ABS (view->selection_start.x - event->x) + 1;
 682                 view->selection.height = ABS (view->selection_start.y - event->y) + 1;
 683
 684                 gtk_widget_queue_draw (widget);
 685         } else if (view->document) {
 686                 EvLink *link;
 687
 688                 link = ev_document_get_link (view->document, event->x, event->y);
 689                 if (link) {
 690                         char *msg;
 691
 692                         msg = status_message_from_link (link);
 693                         ev_view_set_status (view, msg);
 694                         ev_view_set_cursor (view, EV_VIEW_CURSOR_LINK);
 695                         g_free (msg);
 696
 697                         g_object_unref (link);
 698                 } else {
 699                         ev_view_set_status (view, NULL);
 700                         if (view->cursor == EV_VIEW_CURSOR_LINK) {
 701                                 ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL);
 702                         }
 703                 }
 704         }
 705
 706         return TRUE;
 707 }
 708
 709 static gboolean
 710 ev_view_button_release_event (GtkWidget      *widget,
 711                               GdkEventButton *event)
 712 {
 713         EvView *view = EV_VIEW (widget);
 714
 715         view->pressed_button = -1;
 716
 717         if (view->has_selection) {
 718                 ev_view_update_primary_selection (view);
 719         } else if (view->document) {
 720                 EvLink *link;
 721
 722                 link = ev_document_get_link (view->document,
 723                                              event->x,
 724                                              event->y);
 725                 if (link) {
 726                         ev_view_go_to_link (view, link);
 727                         g_object_unref (link);
 728                 }
 729         }
 730
 731         return FALSE;
 732 }
 733
 734 static void
 735 on_adjustment_value_changed (GtkAdjustment  *adjustment,
 736                              EvView *view)
 737 {
 738         view_update_adjustments (view);
 739 }
 740
 741 static void
 742 set_scroll_adjustment (EvView *view,
 743                        GtkOrientation  orientation,
 744                        GtkAdjustment  *adjustment)
 745 {
 746         GtkAdjustment **to_set;
 747
 748         if (orientation == GTK_ORIENTATION_HORIZONTAL)
 749                 to_set = &view->hadjustment;
 750         else
 751                 to_set = &view->vadjustment;
 752
 753         if (*to_set != adjustment) {
 754                 if (*to_set) {
 755                         g_signal_handlers_disconnect_by_func (*to_set,
 756                                                               (gpointer) on_adjustment_value_changed,
 757                                                               view);
 758                         g_object_unref (*to_set);
 759                 }
 760
 761                 *to_set = adjustment;
 762                 view_set_adjustment_values (view, orientation);
 763
 764                 if (*to_set) {
 765                         g_object_ref (*to_set);
 766                         g_signal_connect (*to_set, "value_changed",
 767                                           G_CALLBACK (on_adjustment_value_changed), view);
 768                 }
 769         }
 770 }
 771
 772 static void
 773 ev_view_set_scroll_adjustments (EvView *view,
 774                                 GtkAdjustment  *hadjustment,
 775                                 GtkAdjustment  *vadjustment)
 776 {
 777         set_scroll_adjustment (view, GTK_ORIENTATION_HORIZONTAL, hadjustment);
 778         set_scroll_adjustment (view, GTK_ORIENTATION_VERTICAL, vadjustment);
 779
 780         view_update_adjustments (view);
 781 }
 782
 783 static void
 784 add_scroll_binding (GtkBindingSet  *binding_set,
 785                     guint           keyval,
 786                     GtkScrollType   scroll,
 787                     gboolean        horizontal)
 788 {
 789   guint keypad_keyval = keyval - GDK_Left + GDK_KP_Left;
 790
 791   gtk_binding_entry_add_signal (binding_set, keyval, 0,
 792                                 "scroll_view", 2,
 793                                 GTK_TYPE_SCROLL_TYPE, scroll,
 794                                 G_TYPE_BOOLEAN, horizontal);
 795   gtk_binding_entry_add_signal (binding_set, keypad_keyval, 0,
 796                                 "scroll_view", 2,
 797                                 GTK_TYPE_SCROLL_TYPE, scroll,
 798                                 G_TYPE_BOOLEAN, horizontal);
 799 }
 800
 801 static void
 802 ev_view_scroll_view (EvView *view,
 803                      GtkScrollType scroll,
 804                      gboolean horizontal)
 805 {
 806         if (scroll == GTK_SCROLL_PAGE_BACKWARD) {
 807                 ev_view_set_page (view, ev_view_get_page (view) - 1);
 808         } else if (scroll == GTK_SCROLL_PAGE_FORWARD) {
 809                 ev_view_set_page (view, ev_view_get_page (view) + 1);
 810         } else {
 811                 GtkAdjustment *adjustment;
 812                 double value;
 813
 814                 if (horizontal) {
 815                         adjustment = view->hadjustment;
 816                 } else {
 817                         adjustment = view->vadjustment;
 818                 }
 819
 820                 value = adjustment->value;
 821
 822                 switch (scroll) {
 823                         case GTK_SCROLL_STEP_BACKWARD:
 824                                 value -= adjustment->step_increment;
 825                                 break;
 826                         case GTK_SCROLL_STEP_FORWARD:
 827                                 value += adjustment->step_increment;
 828                                 break;
 829                         default:
 830                                 break;
 831                 }
 832
 833                 value = CLAMP (value, adjustment->lower,
 834                                adjustment->upper - adjustment->page_size);
 835
 836                 gtk_adjustment_set_value (adjustment, value);
 837         }
 838 }
 839
 840 static void
 841 ev_view_set_property (GObject *object,
 842                       guint prop_id,
 843                       const GValue *value,
 844                       GParamSpec *pspec)
 845 {
 846         switch (prop_id)
 847         {
 848                 /* Read only */
 849                 case PROP_STATUS:
 850                 case PROP_FIND_STATUS:
 851                         break;
 852         }
 853 }
 854
 855 static void
 856 ev_view_get_property (GObject *object,
 857                       guint prop_id,
 858                       GValue *value,
 859                       GParamSpec *pspec)
 860 {
 861         EvView *view = EV_VIEW (object);
 862
 863         switch (prop_id)
 864         {
 865                 case PROP_STATUS:
 866                         g_value_set_string (value, view->status);
 867                         break;
 868                 case PROP_FIND_STATUS:
 869                         g_value_set_string (value, view->status);
 870                         break;
 871         }
 872 }
 873
 874 static void
 875 ev_view_class_init (EvViewClass *class)
 876 {
 877         GObjectClass *object_class = G_OBJECT_CLASS (class);
 878         GtkObjectClass *gtk_object_class = GTK_OBJECT_CLASS (class);
 879         GtkWidgetClass *widget_class = GTK_WIDGET_CLASS (class);
 880         GtkBindingSet *binding_set;
 881
 882         object_class->finalize = ev_view_finalize;
 883         object_class->set_property = ev_view_set_property;
 884         object_class->get_property = ev_view_get_property;
 885
 886         widget_class->expose_event = ev_view_expose_event;
 887         widget_class->button_press_event = ev_view_button_press_event;
 888         widget_class->motion_notify_event = ev_view_motion_notify_event;
 889         widget_class->button_release_event = ev_view_button_release_event;
 890         widget_class->size_request = ev_view_size_request;
 891         widget_class->size_allocate = ev_view_size_allocate;
 892         widget_class->realize = ev_view_realize;
 893         widget_class->unrealize = ev_view_unrealize;
 894         gtk_object_class->destroy = ev_view_destroy;
 895
 896         class->set_scroll_adjustments = ev_view_set_scroll_adjustments;
 897         class->scroll_view = ev_view_scroll_view;
 898
 899         widget_class->set_scroll_adjustments_signal =  g_signal_new ("set-scroll-adjustments",
 900                                                                      G_OBJECT_CLASS_TYPE (object_class),
 901                                                                      G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
 902                                                                      G_STRUCT_OFFSET (EvViewClass, set_scroll_adjustments),
 903                                                                      NULL, NULL,
 904                                                                      ev_marshal_VOID__OBJECT_OBJECT,
 905                                                                      G_TYPE_NONE, 2,
 906                                                                      GTK_TYPE_ADJUSTMENT,
 907                                                                      GTK_TYPE_ADJUSTMENT);
 908         page_changed_signal = g_signal_new ("page-changed",
 909                                             G_OBJECT_CLASS_TYPE (object_class),
 910                                             G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
 911                                             G_STRUCT_OFFSET (EvViewClass, page_changed),
 912                                             NULL, NULL,
 913                                             ev_marshal_VOID__NONE,
 914                                             G_TYPE_NONE, 0);
 915
 916         g_signal_new ("scroll_view",
 917                       G_TYPE_FROM_CLASS (object_class),
 918                       G_SIGNAL_RUN_LAST | G_SIGNAL_ACTION,
 919                       G_STRUCT_OFFSET (EvViewClass, scroll_view),
 920                       NULL, NULL,
 921                       ev_marshal_VOID__ENUM_BOOLEAN,
 922                       G_TYPE_NONE, 2,
 923                       GTK_TYPE_SCROLL_TYPE,
 924                       G_TYPE_BOOLEAN);
 925
 926         g_object_class_install_property (object_class,
 927                                          PROP_STATUS,
 928                                          g_param_spec_string ("status",
 929                                                               "Status Message",
 930                                                               "The status message",
 931                                                               NULL,
 932                                                               G_PARAM_READABLE));
 933
 934         g_object_class_install_property (object_class,
 935                                          PROP_STATUS,
 936                                          g_param_spec_string ("find-status",
 937                                                               "Find Status Message",
 938                                                               "The find status message",
 939                                                               NULL,
 940                                                               G_PARAM_READABLE));
 941
 942         binding_set = gtk_binding_set_by_class (class);
 943
 944         add_scroll_binding (binding_set, GDK_Left,  GTK_SCROLL_STEP_BACKWARD, TRUE);
 945         add_scroll_binding (binding_set, GDK_Right, GTK_SCROLL_STEP_FORWARD,  TRUE);
 946         add_scroll_binding (binding_set, GDK_Up,    GTK_SCROLL_STEP_BACKWARD, FALSE);
 947         add_scroll_binding (binding_set, GDK_Down,  GTK_SCROLL_STEP_FORWARD,  FALSE);
 948
 949         add_scroll_binding (binding_set, GDK_Page_Up,   GTK_SCROLL_PAGE_BACKWARD, FALSE);
 950         add_scroll_binding (binding_set, GDK_Page_Down, GTK_SCROLL_PAGE_FORWARD,  FALSE);
 951 }
 952
 953 static void
 954 ev_view_init (EvView *view)
 955 {
 956         GTK_WIDGET_SET_FLAGS (view, GTK_CAN_FOCUS);
 957
 958         view->spacing = 10;
 959         view->scale = 1.0;
 960         view->pressed_button = -1;
 961         view->cursor = EV_VIEW_CURSOR_NORMAL;
 962         view->sizing_mode = EV_SIZING_BEST_FIT;
 963 }
 964
 965 static void
 966 update_find_status_message (EvView *view)
 967 {
 968         char *message;
 969
 970         if (ev_document_get_page (view->document) == view->find_page) {
 971                 int results;
 972
 973                 results = ev_document_find_get_n_results
 974                                 (EV_DOCUMENT_FIND (view->document));
 975
 976                 message = g_strdup_printf (_("%d found on this page"),
 977                                            results);
 978         } else {
 979                 double percent;
 980
 981                 percent = ev_document_find_get_progress
 982                                 (EV_DOCUMENT_FIND (view->document));
 983
 984                 if (percent >= (1.0 - 1e-10)) {
 985                         message = g_strdup (_("Not found"));
 986                 } else {
 987                         message = g_strdup_printf (_("%3d%% remaining to search"),
 988                                                    (int) ((1.0 - percent) * 100));
 989                 }
 990
 991         }
 992
 993         ev_view_set_find_status (view, message);
 994         g_free (message);
 995 }
 996
 997 static void
 998 set_document_page (EvView *view, int new_page)
 999 {
1000         int page;
1001         int pages;
1002
1003         pages = ev_document_get_n_pages (view->document);
1004         page = CLAMP (new_page, 1, pages);
1005
1006         if (view->document) {
1007                 int old_page = ev_document_get_page (view->document);
1008                 int old_width, old_height;
1009
1010                 ev_document_get_page_size (view->document,
1011                                            -1,
1012                                            &old_width, &old_height);
1013
1014                 if (old_page != page) {
1015                         ev_view_set_cursor (view, EV_VIEW_CURSOR_WAIT);
1016                         ev_document_set_page (view->document, page);
1017                 }
1018
1019                 if (old_page != ev_document_get_page (view->document)) {
1020                         int width, height;
1021
1022                         g_signal_emit (view, page_changed_signal, 0);
1023
1024                         view->has_selection = FALSE;
1025                         ev_document_get_page_size (view->document,
1026                                                    -1,
1027                                                    &width, &height);
1028                         if (width != old_width || height != old_height)
1029                                 gtk_widget_queue_resize (GTK_WIDGET (view));
1030
1031                         gtk_adjustment_set_value (view->vadjustment,
1032                                                   view->vadjustment->lower);
1033                 }
1034
1035                 view->find_page = page;
1036                 view->find_result = 0;
1037
1038                 if (EV_IS_DOCUMENT_FIND (view->document)) {
1039                         update_find_status_message (view);
1040                 }
1041         }
1042 }
1043
1044 #define MARGIN 5
1045
1046 static void
1047 ensure_rectangle_is_visible (EvView *view, GdkRectangle *rect)
1048 {
1049         GtkWidget *widget = GTK_WIDGET (view);
1050         GtkAdjustment *adjustment;
1051         int value;
1052
1053         adjustment = view->vadjustment;
1054
1055         if (rect->y < adjustment->value) {
1056                 value = MAX (adjustment->lower, rect->y - MARGIN);
1057                 gtk_adjustment_set_value (view->vadjustment, value);
1058         } else if (rect->y + rect->height >
1059                    adjustment->value + widget->allocation.height) {
1060                 value = MIN (adjustment->upper, rect->y + rect->height -
1061                              widget->allocation.height + MARGIN);
1062                 gtk_adjustment_set_value (view->vadjustment, value);
1063         }
1064
1065         adjustment = view->hadjustment;
1066
1067         if (rect->x < adjustment->value) {
1068                 value = MAX (adjustment->lower, rect->x - MARGIN);
1069                 gtk_adjustment_set_value (view->hadjustment, value);
1070         } else if (rect->x + rect->height >
1071                    adjustment->value + widget->allocation.width) {
1072                 value = MIN (adjustment->upper, rect->x + rect->width -
1073                              widget->allocation.width + MARGIN);
1074                 gtk_adjustment_set_value (view->hadjustment, value);
1075         }
1076 }
1077
1078 static void
1079 jump_to_find_result (EvView *view)
1080 {
1081         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1082         GdkRectangle rect;
1083         int n_results;
1084
1085         n_results = ev_document_find_get_n_results (find);
1086
1087         if (n_results > view->find_result) {
1088                 ev_document_find_get_result
1089                         (find, view->find_result, &rect);
1090                 ensure_rectangle_is_visible (view, &rect);
1091         }
1092 }
1093
1094 static void
1095 jump_to_find_page (EvView *view)
1096 {
1097         int n_pages, i;
1098
1099         n_pages = ev_document_get_n_pages (view->document);
1100
1101         for (i = 0; i <= n_pages; i++) {
1102                 int has_results;
1103                 int page;
1104
1105                 page = i + view->find_page;
1106                 if (page > n_pages) {
1107                         page = page - n_pages;
1108                 }
1109
1110                 has_results = ev_document_find_page_has_results
1111                                 (EV_DOCUMENT_FIND (view->document), page);
1112                 if (has_results == -1) {
1113                         view->find_page = page;
1114                         break;
1115                 } else if (has_results == 1) {
1116                         set_document_page (view, page);
1117                         jump_to_find_result (view);
1118                         break;
1119                 }
1120         }
1121 }
1122
1123 static void
1124 find_changed_cb (EvDocument *document, int page, EvView *view)
1125 {
1126         jump_to_find_page (view);
1127         jump_to_find_result (view);
1128         update_find_status_message (view);
1129
1130         if (ev_document_get_page (document) == page) {
1131                 gtk_widget_queue_draw (GTK_WIDGET (view));
1132         }
1133 }
1134
1135 static void
1136 document_changed_callback (EvDocument *document,
1137                            EvView     *view)
1138 {
1139         gtk_widget_queue_draw (GTK_WIDGET (view));
1140         ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL);
1141 }
1142
1143 /*** Public API ***/
1144
1145 GtkWidget*
1146 ev_view_new (void)
1147 {
1148         return g_object_new (EV_TYPE_VIEW, NULL);
1149 }
1150
1151 void
1152 ev_view_set_document (EvView     *view,
1153                       EvDocument *document)
1154 {
1155         g_return_if_fail (EV_IS_VIEW (view));
1156
1157         if (document != view->document) {
1158                 if (view->document) {
1159                         g_signal_handlers_disconnect_by_func
1160                                 (view->document, find_changed_cb, view);
1161                         g_object_unref (view->document);
1162                 }
1163
1164                 view->document = document;
1165                 view->find_page = 1;
1166                 view->find_result = 0;
1167
1168                 if (view->document) {
1169                         g_object_ref (view->document);
1170                         if (EV_IS_DOCUMENT_FIND (view->document)) {
1171                                 g_signal_connect (view->document,
1172                                                   "find_changed",
1173                                                   G_CALLBACK (find_changed_cb),
1174                                                   view);
1175                         }
1176                         g_signal_connect (view->document,
1177                                           "changed",
1178                                           G_CALLBACK (document_changed_callback),
1179                                           view);
1180                 }
1181
1182                 if (GTK_WIDGET_REALIZED (view))
1183                         ev_document_set_target (view->document, view->bin_window);
1184
1185                 gtk_widget_queue_resize (GTK_WIDGET (view));
1186
1187                 g_signal_emit (view, page_changed_signal, 0);
1188         }
1189 }
1190
1191 void
1192 ev_view_set_mode (EvView       *view,
1193                   EvSizingMode  sizing_mode)
1194 {
1195         if (view->sizing_mode == sizing_mode)
1196                 return;
1197
1198         view->sizing_mode = sizing_mode;
1199         gtk_widget_queue_resize (GTK_WIDGET (view));
1200 }
1201
1202 static void
1203 go_to_link (EvView *view, EvLink *link)
1204 {
1205         EvLinkType type;
1206         const char *uri;
1207         int page;
1208
1209         type = ev_link_get_link_type (link);
1210
1211         switch (type) {
1212                 case EV_LINK_TYPE_TITLE:
1213                         break;
1214                 case EV_LINK_TYPE_PAGE:
1215                         page = ev_link_get_page (link);
1216                         set_document_page (view, page);
1217                         break;
1218                 case EV_LINK_TYPE_EXTERNAL_URI:
1219                         uri = ev_link_get_uri (link);
1220                         gnome_vfs_url_show (uri);
1221                         break;
1222         }
1223 }
1224
1225 void
1226 ev_view_go_to_link (EvView *view, EvLink *link)
1227 {
1228         go_to_link (view, link);
1229 }
1230
1231 void
1232 ev_view_set_page (EvView *view,
1233                   int     page)
1234 {
1235         g_return_if_fail (EV_IS_VIEW (view));
1236
1237         set_document_page (view, page);
1238 }
1239
1240 int
1241 ev_view_get_page (EvView *view)
1242 {
1243         if (view->document)
1244                 return ev_document_get_page (view->document);
1245         else
1246                 return 1;
1247 }
1248
1249 static void
1250 ev_view_zoom (EvView   *view,
1251               double    factor,
1252               gboolean  relative)
1253 {
1254         double scale;
1255
1256         if (relative)
1257                 scale = view->scale * factor;
1258         else
1259                 scale = factor;
1260
1261         scale = CLAMP (scale, MIN_SCALE, MAX_SCALE);
1262
1263         if (ABS (scale - view->scale) < ZOOM_EPSILON)
1264                 return;
1265
1266         view->scale = scale;
1267
1268         ev_document_set_scale (view->document, view->scale);
1269
1270         gtk_widget_queue_resize (GTK_WIDGET (view));
1271 }
1272
1273 void
1274 ev_view_zoom_in (EvView *view)
1275 {
1276         ev_view_zoom (view, ZOOM_IN_FACTOR, TRUE);
1277 }
1278
1279 void
1280 ev_view_zoom_out (EvView *view)
1281 {
1282         ev_view_zoom (view, ZOOM_OUT_FACTOR, TRUE);
1283 }
1284
1285 void
1286 ev_view_normal_size (EvView *view)
1287 {
1288         ev_view_zoom (view, 1.0, FALSE);
1289 }
1290
1291 /* Unfortunately this is not idempotent (!) (numerical stability
1292  * issues because width and height are rounded) */
1293 void
1294 ev_view_best_fit (EvView *view, int allocation_width, int allocation_height)
1295 {
1296         int target_width, target_height;
1297         int width, height;
1298         GtkBorder border;
1299
1300         if (view->document == NULL)
1301                 return;
1302
1303         width = height = 0;
1304         /* This is the bad part. You could make it stable by doing
1305          * ev_document_set_scale 1.0. But at least with pdf this means
1306          * redrawing the whole page */
1307         ev_document_get_page_size (view->document, -1, &width, &height);
1308         /* FIXME: The border size isn't constant.  Ugh.  Still, if we have extra
1309          * space, we just cut it from the border */
1310         ev_document_misc_get_page_border_size (width, height, &border);
1311
1312         target_width = allocation_width - (view->spacing * 2 + border.left + border.right);
1313         target_height = allocation_height - (view->spacing * 2 + border.top + border.bottom);
1314
1315         LOG ("Best fit %d %d", allocation_width, allocation_height);
1316
1317         if (width != 0 && height != 0) {
1318                 double scale;
1319                 double scale_w, scale_h;
1320
1321                 scale_w = (double)target_width * view->scale / width;
1322                 scale_h = (double)target_height * view->scale / height;
1323
1324                 scale = (scale_w < scale_h) ? scale_w : scale_h;
1325
1326                 ev_view_zoom (view, scale, FALSE);
1327         }
1328
1329 }
1330
1331 void
1332 ev_view_fit_width (EvView *view, int allocation_width, int allocation_height,
1333                    int vsb_width)
1334 {
1335         int target_width, target_height;
1336         int width, height;
1337         GtkBorder border;
1338
1339         if (view->document == NULL)
1340                 return;
1341
1342         width = height = 0;
1343         ev_document_get_page_size (view->document, -1, &width, &height);
1344         ev_document_misc_get_page_border_size (width, height, &border);
1345
1346         target_width = allocation_width - (view->spacing * 2 + border.left + border.right);
1347         target_height = allocation_height - (view->spacing * 2 + border.top + border.bottom);
1348
1349         if (width) {
1350                 double scale;
1351                 scale = (double)target_width * view->scale / width;
1352
1353                 if (height * scale / view->scale > target_height)
1354                         scale = ((double)(target_width - vsb_width) * view->scale / width);
1355
1356                 ev_view_zoom (view, scale, FALSE);
1357         }
1358 }
1359
1360 const char *
1361 ev_view_get_status (EvView *view)
1362 {
1363         g_return_val_if_fail (EV_IS_VIEW (view), NULL);
1364
1365         return view->status;
1366 }
1367
1368 const char *
1369 ev_view_get_find_status (EvView *view)
1370 {
1371         g_return_val_if_fail (EV_IS_VIEW (view), NULL);
1372
1373         return view->find_status;
1374 }
1375
1376 void
1377 ev_view_find_next (EvView *view)
1378 {
1379         int n_results, n_pages;
1380         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1381
1382         n_results = ev_document_find_get_n_results (find);
1383         n_pages = ev_document_get_n_pages (view->document);
1384
1385         view->find_result++;
1386
1387         if (view->find_result >= n_results) {
1388                 view->find_result = 0;
1389                 view->find_page++;
1390
1391                 if (view->find_page > n_pages) {
1392                         view->find_page = 1;
1393                 }
1394
1395                 jump_to_find_page (view);
1396         } else {
1397                 jump_to_find_result (view);
1398                 gtk_widget_queue_draw (GTK_WIDGET (view));
1399         }
1400 }
1401
1402 void
1403 ev_view_find_previous (EvView *view)
1404 {
1405         int n_results, n_pages;
1406         EvDocumentFind *find = EV_DOCUMENT_FIND (view->document);
1407
1408         n_results = ev_document_find_get_n_results (find);
1409         n_pages = ev_document_get_n_pages (view->document);
1410
1411         view->find_result--;
1412
1413         if (view->find_result < 0) {
1414                 view->find_result = 0;
1415                 view->find_page--;
1416
1417                 if (view->find_page < 1) {
1418                         view->find_page = n_pages;
1419                 }
1420
1421                 jump_to_find_page (view);
1422         } else {
1423                 jump_to_find_result (view);
1424                 gtk_widget_queue_draw (GTK_WIDGET (view));
1425         }
1426 }