if (GTK_WIDGET_REALIZED (widget)) {
if (view->document) {
ev_document_get_page_size (view->document,
if (GTK_WIDGET_REALIZED (widget)) {
if (view->document) {
ev_document_get_page_size (view->document,
event->area.x, event->area.y,
event->area.width, event->area.height);
event->area.x, event->area.y,
event->area.width, event->area.height);
if (view->has_selection) {
draw_rubberband (widget, view->bin_window,
if (view->has_selection) {
draw_rubberband (widget, view->bin_window,
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;
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;
int old_width, old_height;
ev_document_get_page_size (view->document,
int old_width, old_height;
ev_document_get_page_size (view->document,
view->has_selection = FALSE;
ev_document_get_page_size (view->document,
view->has_selection = FALSE;
ev_document_get_page_size (view->document,
- ev_document_get_page_size (view->document, &width, &height);
+ ev_document_get_page_size (view->document, -1, &width, &height);
- ev_document_get_page_size (view->document, &width, NULL);
+ ev_document_get_page_size (view->document, -1, &width, NULL);