X-Git-Url: https://www.fi.muni.cz/~kas/git//home/kas/public_html/git/?a=blobdiff_plain;f=shell%2Fev-view.c;h=372d4a362262e859d7a1d9117e33db2b6a5e8b7c;hb=bab5a16571364233e1ea383119fe0e35bbdf993e;hp=291b3c5d125d5e77d6f61f487593e6c4dfa701c9;hpb=e6bb7c7e25b848008409db982bbac260fa97f73c;p=evince.git diff --git a/shell/ev-view.c b/shell/ev-view.c index 291b3c5d..372d4a36 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -29,6 +29,8 @@ #include "ev-marshal.h" #include "ev-view.h" #include "ev-document-find.h" +#include "ev-document-misc.h" +#include "ev-debug.h" #define EV_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), EV_TYPE_VIEW, EvViewClass)) #define EV_IS_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), EV_TYPE_VIEW)) @@ -58,9 +60,16 @@ static const GtkTargetEntry targets[] = { typedef enum { EV_VIEW_CURSOR_NORMAL, EV_VIEW_CURSOR_LINK, - EV_VIEW_CURSOR_WAIT + EV_VIEW_CURSOR_WAIT, + EV_VIEW_CURSOR_HIDDEN } EvViewCursor; +#define ZOOM_IN_FACTOR 1.2 +#define ZOOM_OUT_FACTOR (1.0/ZOOM_IN_FACTOR) + +#define MIN_SCALE 0.05409 +#define MAX_SCALE 18.4884 + struct _EvView { GtkWidget parent_instance; @@ -85,8 +94,11 @@ struct _EvView { int find_page; int find_result; + int spacing; double scale; + int width; + int height; }; struct _EvViewClass { @@ -182,6 +194,8 @@ ev_view_finalize (GObject *object) { EvView *view = EV_VIEW (object); + LOG ("Finalize"); + if (view->document) g_object_unref (view->document); @@ -200,26 +214,85 @@ ev_view_destroy (GtkObject *object) GTK_OBJECT_CLASS (ev_view_parent_class)->destroy (object); } +static void +ev_view_get_offsets (EvView *view, int *x_offset, int *y_offset) +{ + EvDocument *document = view->document; + GtkWidget *widget = GTK_WIDGET (view); + int width, height, target_width, target_height; + GtkBorder border; + + g_return_if_fail (EV_IS_DOCUMENT (document)); + + ev_document_get_page_size (document, -1, &width, &height); + ev_document_misc_get_page_border_size (width, height, &border); + + *x_offset = view->spacing; + *y_offset = view->spacing; + target_width = width + border.left + border.right + view->spacing * 2; + target_height = height + border.top + border.bottom + view->spacing * 2; + *x_offset += MAX (0, (widget->allocation.width - target_width) / 2); + *y_offset += MAX (0, (widget->allocation.height - target_height) / 2); +} + +static void +view_rect_to_doc_rect (EvView *view, GdkRectangle *view_rect, GdkRectangle *doc_rect) +{ + int x_offset, y_offset; + + ev_view_get_offsets (view, &x_offset, &y_offset); + doc_rect->x = (view_rect->x - x_offset) / view->scale; + doc_rect->y = (view_rect->y - y_offset) / view->scale; + doc_rect->width = view_rect->width / view->scale; + doc_rect->height = view_rect->height / view->scale; +} + +static void +doc_rect_to_view_rect (EvView *view, GdkRectangle *doc_rect, GdkRectangle *view_rect) +{ + int x_offset, y_offset; + + ev_view_get_offsets (view, &x_offset, &y_offset); + view_rect->x = doc_rect->x * view->scale + x_offset; + view_rect->y = doc_rect->y * view->scale + y_offset; + view_rect->width = doc_rect->width * view->scale; + view_rect->height = doc_rect->height * view->scale; +} + static void ev_view_size_request (GtkWidget *widget, GtkRequisition *requisition) { EvView *view = EV_VIEW (widget); + GtkBorder border; + gint width, height; - if (GTK_WIDGET_REALIZED (widget)) { - if (view->document) { - ev_document_get_page_size (view->document, - &requisition->width, - &requisition->height); - } else { - requisition->width = 10; - requisition->height = 10; - } + if (!GTK_WIDGET_REALIZED (widget)) + return; - requisition->width += 2; - requisition->height += 2; + if (!view->document) { + requisition->width = 1; + requisition->height = 1; + return; + } + + ev_document_get_page_size (view->document, -1, + &width, &height); + ev_document_misc_get_page_border_size (width, height, &border); + + if (view->width >= 0) { + requisition->width = 0; + } else { + requisition->width = width + border.left + border.right + + view->spacing * 2; + } + + if (view->height >= 0) { + requisition->height = 0; + } else { + requisition->height = height + border.top + border.bottom + + view->spacing * 2; } - } static void @@ -248,6 +321,7 @@ ev_view_realize (GtkWidget *widget) GTK_WIDGET_SET_FLAGS (widget, GTK_REALIZED); + attributes.window_type = GDK_WINDOW_CHILD; attributes.wclass = GDK_INPUT_OUTPUT; attributes.visual = gtk_widget_get_visual (widget); @@ -266,6 +340,7 @@ ev_view_realize (GtkWidget *widget) GDK_WA_VISUAL); gdk_window_set_user_data (widget->window, widget); widget->style = gtk_style_attach (widget->style, widget->window); + gdk_window_set_background (widget->window, &widget->style->mid[widget->state]); attributes.x = 0; attributes.y = 0; @@ -276,7 +351,8 @@ ev_view_realize (GtkWidget *widget) GDK_BUTTON_RELEASE_MASK | GDK_SCROLL_MASK | GDK_KEY_PRESS_MASK | - GDK_POINTER_MOTION_MASK; + GDK_POINTER_MOTION_MASK | + GDK_LEAVE_NOTIFY_MASK; view->bin_window = gdk_window_new (widget->window, &attributes, @@ -365,9 +441,13 @@ draw_rubberband (GtkWidget *widget, GdkWindow *window, static void highlight_find_results (EvView *view) { - EvDocumentFind *find = EV_DOCUMENT_FIND (view->document); + EvDocumentFind *find; int i, results; + g_return_if_fail (EV_IS_DOCUMENT_FIND (view->document)); + + find = EV_DOCUMENT_FIND (view->document); + results = ev_document_find_get_n_results (find); for (i = 0; i < results; i++) { @@ -381,31 +461,41 @@ highlight_find_results (EvView *view) } } + static void expose_bin_window (GtkWidget *widget, GdkEventExpose *event) { EvView *view = EV_VIEW (widget); + GtkBorder border; + gint width, height; + GdkRectangle area; int x_offset, y_offset; if (view->document == NULL) return; - x_offset = MAX (0, (widget->allocation.width - - widget->requisition.width) / 2); - y_offset = MAX (0, (widget->allocation.height - - widget->requisition.height) / 2); - gdk_draw_rectangle (view->bin_window, - widget->style->black_gc, - FALSE, - x_offset, - y_offset, - widget->requisition.width - 1, - widget->requisition.height - 1); - + ev_view_get_offsets (view, &x_offset, &y_offset); + ev_document_get_page_size (view->document, -1, + &width, &height); + ev_document_misc_get_page_border_size (width, height, &border); + + /* Paint the frame */ + area.x = x_offset; + area.y = y_offset; + area.width = width + border.left + border.right; + area.height = height + border.top + border.bottom; + ev_document_misc_paint_one_page (view->bin_window, widget, &area, &border); + + /* Render the document itself */ ev_document_set_page_offset (view->document, - x_offset + 1, - y_offset + 1); + x_offset + border.left, + y_offset + border.top); + + LOG ("Render area %d %d %d %d - Offset %d %d", + event->area.x, event->area.y, + event->area.width, event->area.height, + x_offset, y_offset); ev_document_render (view->document, event->area.x, event->area.y, @@ -416,8 +506,13 @@ expose_bin_window (GtkWidget *widget, } if (view->has_selection) { - draw_rubberband (widget, view->bin_window, - &view->selection, 0x40); + GdkRectangle rubberband; + + doc_rect_to_view_rect (view, &view->selection, &rubberband); + if (rubberband.width > 0 && rubberband.height > 0) { + draw_rubberband (widget, view->bin_window, + &rubberband, 0x40); + } } } @@ -439,13 +534,23 @@ void ev_view_select_all (EvView *ev_view) { GtkWidget *widget = GTK_WIDGET (ev_view); + GdkRectangle selection; + int width, height; + int x_offset, y_offset; + GtkBorder border; g_return_if_fail (EV_IS_VIEW (ev_view)); + ev_view_get_offsets (ev_view, &x_offset, &y_offset); + ev_document_get_page_size (ev_view->document, -1, &width, &height); + ev_document_misc_get_page_border_size (width, height, &border); + ev_view->has_selection = TRUE; - ev_view->selection.x = ev_view->selection.y = 0; - ev_view->selection.width = widget->requisition.width; - ev_view->selection.height = widget->requisition.height; + selection.x = x_offset + border.left; + selection.y = y_offset + border.top; + selection.width = width; + selection.height = height; + view_rect_to_doc_rect (ev_view, &selection, &ev_view->selection); gtk_widget_queue_draw (widget); } @@ -454,9 +559,11 @@ void ev_view_copy (EvView *ev_view) { GtkClipboard *clipboard; + GdkRectangle selection; char *text; - text = ev_document_get_text (ev_view->document, &ev_view->selection); + doc_rect_to_view_rect (ev_view, &ev_view->selection, &selection); + text = ev_document_get_text (ev_view->document, &selection); clipboard = gtk_widget_get_clipboard (GTK_WIDGET (ev_view), GDK_SELECTION_CLIPBOARD); gtk_clipboard_set_text (clipboard, text, -1); @@ -470,9 +577,11 @@ ev_view_primary_get_cb (GtkClipboard *clipboard, gpointer data) { EvView *ev_view = EV_VIEW (data); + GdkRectangle selection; char *text; - text = ev_document_get_text (ev_view->document, &ev_view->selection); + doc_rect_to_view_rect (ev_view, &ev_view->selection, &selection); + text = ev_document_get_text (ev_view->document, &selection); gtk_selection_data_set_text (selection_data, text, -1); } @@ -583,6 +692,17 @@ ev_view_set_find_status (EvView *view, const char *message) g_object_notify (G_OBJECT (view), "find-status"); } +static GdkCursor * +ev_view_create_invisible_cursor(void) +{ + GdkBitmap *empty; + GdkColor black = { 0, 0, 0, 0 }; + static unsigned char bits[] = { 0x00 }; + + empty = gdk_bitmap_create_from_data (NULL, bits, 1, 1); + + return gdk_cursor_new_from_pixmap (empty, empty, &black, &black, 0, 0); +} static void ev_view_set_cursor (EvView *view, EvViewCursor new_cursor) @@ -609,6 +729,10 @@ ev_view_set_cursor (EvView *view, EvViewCursor new_cursor) case EV_VIEW_CURSOR_WAIT: cursor = gdk_cursor_new_for_display (display, GDK_WATCH); break; + case EV_VIEW_CURSOR_HIDDEN: + cursor = ev_view_create_invisible_cursor (); + break; + } if (cursor) { @@ -625,11 +749,14 @@ ev_view_motion_notify_event (GtkWidget *widget, EvView *view = EV_VIEW (widget); if (view->pressed_button > 0) { + GdkRectangle selection; + view->has_selection = TRUE; - view->selection.x = MIN (view->selection_start.x, event->x); - view->selection.y = MIN (view->selection_start.y, event->y); - view->selection.width = ABS (view->selection_start.x - event->x) + 1; - view->selection.height = ABS (view->selection_start.y - event->y) + 1; + selection.x = MIN (view->selection_start.x, event->x); + selection.y = MIN (view->selection_start.y, event->y); + selection.width = ABS (view->selection_start.x - event->x) + 1; + selection.height = ABS (view->selection_start.y - event->y) + 1; + view_rect_to_doc_rect (view, &selection, &view->selection); gtk_widget_queue_draw (widget); } else if (view->document) { @@ -905,6 +1032,7 @@ ev_view_init (EvView *view) { GTK_WIDGET_SET_FLAGS (view, GTK_CAN_FOCUS); + view->spacing = 10; view->scale = 1.0; view->pressed_button = -1; view->cursor = EV_VIEW_CURSOR_NORMAL; @@ -921,7 +1049,12 @@ update_find_status_message (EvView *view) results = ev_document_find_get_n_results (EV_DOCUMENT_FIND (view->document)); - message = g_strdup_printf (_("%d found on this page"), + /* TRANS: Sometimes this could be better translated as + "%d hit(s) on this page". Therefore this string + contains plural cases. */ + message = g_strdup_printf (ngettext ("%d found on this page", + "%d found on this page", + results), results); } else { double percent; @@ -943,17 +1076,26 @@ update_find_status_message (EvView *view) } static void -set_document_page (EvView *view, int page) +set_document_page (EvView *view, int new_page) { + int page; + int pages; + + pages = ev_document_get_n_pages (view->document); + page = CLAMP (new_page, 1, pages); + if (view->document) { int old_page = ev_document_get_page (view->document); int old_width, old_height; ev_document_get_page_size (view->document, + -1, &old_width, &old_height); if (old_page != page) { - ev_view_set_cursor (view, EV_VIEW_CURSOR_WAIT); + if (view->cursor != EV_VIEW_CURSOR_HIDDEN) { + ev_view_set_cursor (view, EV_VIEW_CURSOR_WAIT); + } ev_document_set_page (view->document, page); } @@ -964,6 +1106,7 @@ set_document_page (EvView *view, int page) view->has_selection = FALSE; ev_document_get_page_size (view->document, + -1, &width, &height); if (width != old_width || height != old_height) gtk_widget_queue_resize (GTK_WIDGET (view)); @@ -972,9 +1115,11 @@ set_document_page (EvView *view, int page) view->vadjustment->lower); } - view->find_page = page; - view->find_result = 0; - update_find_status_message (view); + if (EV_IS_DOCUMENT_FIND (view->document)) { + view->find_page = page; + view->find_result = 0; + update_find_status_message (view); + } } } @@ -1015,11 +1160,17 @@ ensure_rectangle_is_visible (EvView *view, GdkRectangle *rect) static void jump_to_find_result (EvView *view) { + EvDocumentFind *find = EV_DOCUMENT_FIND (view->document); GdkRectangle rect; + int n_results; + + n_results = ev_document_find_get_n_results (find); - ev_document_find_get_result (EV_DOCUMENT_FIND (view->document), - view->find_result, &rect); - ensure_rectangle_is_visible (view, &rect); + if (n_results > view->find_result) { + ev_document_find_get_result + (find, view->find_result, &rect); + ensure_rectangle_is_visible (view, &rect); + } } static void @@ -1064,11 +1215,25 @@ find_changed_cb (EvDocument *document, int page, EvView *view) } static void -document_changed_callback (EvDocument *document, +page_changed_callback (EvDocument *document, EvView *view) { + LOG ("Page changed callback"); + gtk_widget_queue_draw (GTK_WIDGET (view)); - ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL); + + if (view->cursor != EV_VIEW_CURSOR_HIDDEN) { + ev_view_set_cursor (view, EV_VIEW_CURSOR_NORMAL); + } +} + +static void +scale_changed_callback (EvDocument *document, + EvView *view) +{ + LOG ("Scale changed callback"); + + gtk_widget_queue_resize (GTK_WIDGET (view)); } /*** Public API ***/ @@ -1099,14 +1264,19 @@ ev_view_set_document (EvView *view, if (view->document) { g_object_ref (view->document); - if (EV_IS_DOCUMENT_FIND (view->document)) + if (EV_IS_DOCUMENT_FIND (view->document)) { g_signal_connect (view->document, "find_changed", G_CALLBACK (find_changed_cb), view); + } g_signal_connect (view->document, - "changed", - G_CALLBACK (document_changed_callback), + "page_changed", + G_CALLBACK (page_changed_callback), + view); + g_signal_connect (view->document, + "scale_changed", + G_CALLBACK (scale_changed_callback), view); } @@ -1166,12 +1336,6 @@ ev_view_get_page (EvView *view) return 1; } -#define ZOOM_IN_FACTOR 1.2 -#define ZOOM_OUT_FACTOR (1.0/ZOOM_IN_FACTOR) - -#define MIN_SCALE 0.05409 -#define MAX_SCALE 18.4884 - static void ev_view_zoom (EvView *view, double factor, @@ -1184,67 +1348,84 @@ ev_view_zoom (EvView *view, else scale = factor; - view->scale = CLAMP (scale, MIN_SCALE, MAX_SCALE); + scale = CLAMP (scale, MIN_SCALE, MAX_SCALE); - ev_document_set_scale (view->document, view->scale); + view->scale = scale; - gtk_widget_queue_resize (GTK_WIDGET (view)); + ev_document_set_scale (view->document, view->scale); } void ev_view_zoom_in (EvView *view) { + view->width = view->height = -1; ev_view_zoom (view, ZOOM_IN_FACTOR, TRUE); } void ev_view_zoom_out (EvView *view) { + view->width = view->height = -1; ev_view_zoom (view, ZOOM_OUT_FACTOR, TRUE); } -void -ev_view_normal_size (EvView *view) +static double +size_to_zoom_factor (EvView *view, int width, int height) { - ev_view_zoom (view, 1.0, FALSE); -} + int doc_width, doc_height; + double scale, scale_w, scale_h; + GtkBorder border; + + doc_width = doc_height = 0; + scale = scale_w = scale_h = 1.0; + ev_document_get_page_size (view->document, -1, &doc_width, &doc_height); + /* FIXME: The border size isn't constant. Ugh. Still, if we have extra + * space, we just cut it from the border */ + ev_document_misc_get_page_border_size (doc_width, doc_height, &border); + + if (doc_width == 0 && doc_height == 0) { + return 0; + } -void -ev_view_best_fit (EvView *view) -{ - double scale; - int width, height; + if (width >= 0) { + int target_width; - width = height = 0; - ev_document_get_page_size (view->document, &width, &height); + target_width = width - (view->spacing * 2 + border.left + border.right); + scale = scale_w = (double)target_width * view->scale / doc_width; + } - scale = 1.0; - if (width != 0 && height != 0) { - double scale_w, scale_h; + if (height >= 0) { + int target_height; - scale_w = (double)GTK_WIDGET (view)->allocation.width * view->scale / width; - scale_h = (double)GTK_WIDGET (view)->allocation.height * view->scale / height; + target_height = height - (view->spacing * 2 + border.top + border.bottom); + scale = scale_h = (double)target_height * view->scale / doc_height; + } + if (width >= 0 && height >= 0) { scale = (scale_w < scale_h) ? scale_w : scale_h; } - ev_view_zoom (view, scale, FALSE); + return scale; } void -ev_view_fit_width (EvView *view) +ev_view_set_size (EvView *view, + int width, + int height) { - double scale = 1.0; - int width; - - width = 0; - ev_document_get_page_size (view->document, &width, NULL); + double factor; - scale = 1.0; - if (width != 0) - scale = (double)GTK_WIDGET (view)->allocation.width * view->scale / width; + if (!view->document) { + return; + } - ev_view_zoom (view, scale, FALSE); + if (view->width != width || + view->height != height) { + view->width = width; + view->height = height; + factor = size_to_zoom_factor (view, width, height); + ev_view_zoom (view, factor, FALSE); + } } const char * @@ -1314,3 +1495,14 @@ ev_view_find_previous (EvView *view) gtk_widget_queue_draw (GTK_WIDGET (view)); } } +void +ev_view_hide_cursor (EvView *view) +{ + ev_view_set_cursor (view, EV_VIEW_CURSOR_HIDDEN); +} + +void +ev_view_show_cursor (EvView *view) +{ + ev_view_set_cursor (view, EV_VIEW_CURSOR_LINK); +}