/* book-view.c generated by valac 0.13.4, the Vala compiler
 * generated from book-view.vala, do not modify */

/*
 * Copyright (C) 2009-2011 Canonical Ltd.
 * Author: Robert Ancell <robert.ancell@canonical.com>
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version. See http://www.gnu.org/copyleft/gpl.html the full text of the
 * license.
 */
/* FIXME: When scrolling, copy existing render sideways?*/
/* FIXME: Only render pages that change and only the part that changed*/

#include <glib.h>
#include <glib-object.h>
#include <gtk/gtk.h>
#include <gdk/gdk.h>
#include <cairo.h>
#include <float.h>
#include <math.h>


#define TYPE_BOOK_VIEW (book_view_get_type ())
#define BOOK_VIEW(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_BOOK_VIEW, BookView))
#define BOOK_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_BOOK_VIEW, BookViewClass))
#define IS_BOOK_VIEW(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_BOOK_VIEW))
#define IS_BOOK_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_BOOK_VIEW))
#define BOOK_VIEW_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_BOOK_VIEW, BookViewClass))

typedef struct _BookView BookView;
typedef struct _BookViewClass BookViewClass;
typedef struct _BookViewPrivate BookViewPrivate;

#define TYPE_BOOK (book_get_type ())
#define BOOK(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_BOOK, Book))
#define BOOK_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_BOOK, BookClass))
#define IS_BOOK(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_BOOK))
#define IS_BOOK_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_BOOK))
#define BOOK_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_BOOK, BookClass))

typedef struct _Book Book;
typedef struct _BookClass BookClass;

#define TYPE_PAGE (page_get_type ())
#define PAGE(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_PAGE, Page))
#define PAGE_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_PAGE, PageClass))
#define IS_PAGE(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_PAGE))
#define IS_PAGE_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_PAGE))
#define PAGE_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_PAGE, PageClass))

typedef struct _Page Page;
typedef struct _PageClass PageClass;

#define TYPE_PAGE_VIEW (page_view_get_type ())
#define PAGE_VIEW(obj) (G_TYPE_CHECK_INSTANCE_CAST ((obj), TYPE_PAGE_VIEW, PageView))
#define PAGE_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_CAST ((klass), TYPE_PAGE_VIEW, PageViewClass))
#define IS_PAGE_VIEW(obj) (G_TYPE_CHECK_INSTANCE_TYPE ((obj), TYPE_PAGE_VIEW))
#define IS_PAGE_VIEW_CLASS(klass) (G_TYPE_CHECK_CLASS_TYPE ((klass), TYPE_PAGE_VIEW))
#define PAGE_VIEW_GET_CLASS(obj) (G_TYPE_INSTANCE_GET_CLASS ((obj), TYPE_PAGE_VIEW, PageViewClass))

typedef struct _PageView PageView;
typedef struct _PageViewClass PageViewClass;
#define _book_unref0(var) ((var == NULL) ? NULL : (var = (book_unref (var), NULL)))
#define _g_hash_table_unref0(var) ((var == NULL) ? NULL : (var = (g_hash_table_unref (var), NULL)))
#define _page_view_unref0(var) ((var == NULL) ? NULL : (var = (page_view_unref (var), NULL)))
#define _g_object_unref0(var) ((var == NULL) ? NULL : (var = (g_object_unref (var), NULL)))
#define _page_unref0(var) ((var == NULL) ? NULL : (var = (page_unref (var), NULL)))

struct _BookView {
	GtkVBox parent_instance;
	BookViewPrivate * priv;
};

struct _BookViewClass {
	GtkVBoxClass parent_class;
};

struct _BookViewPrivate {
	Book* book;
	GHashTable* page_data;
	gboolean need_layout;
	gboolean laying_out;
	gboolean show_selected_page;
	PageView* selected_page;
	GtkWidget* drawing_area;
	GtkHScrollbar* scroll;
	GtkAdjustment* adjustment;
	GdkCursorType cursor;
};


static gpointer book_view_parent_class = NULL;

GType book_view_get_type (void) G_GNUC_CONST;
gpointer book_ref (gpointer instance);
void book_unref (gpointer instance);
GParamSpec* param_spec_book (const gchar* name, const gchar* nick, const gchar* blurb, GType object_type, GParamFlags flags);
void value_set_book (GValue* value, gpointer v_object);
void value_take_book (GValue* value, gpointer v_object);
gpointer value_get_book (const GValue* value);
GType book_get_type (void) G_GNUC_CONST;
gpointer page_ref (gpointer instance);
void page_unref (gpointer instance);
GParamSpec* param_spec_page (const gchar* name, const gchar* nick, const gchar* blurb, GType object_type, GParamFlags flags);
void value_set_page (GValue* value, gpointer v_object);
void value_take_page (GValue* value, gpointer v_object);
gpointer value_get_page (const GValue* value);
GType page_get_type (void) G_GNUC_CONST;
gpointer page_view_ref (gpointer instance);
void page_view_unref (gpointer instance);
GParamSpec* param_spec_page_view (const gchar* name, const gchar* nick, const gchar* blurb, GType object_type, GParamFlags flags);
void value_set_page_view (GValue* value, gpointer v_object);
void value_take_page_view (GValue* value, gpointer v_object);
gpointer value_get_page_view (const GValue* value);
GType page_view_get_type (void) G_GNUC_CONST;
#define BOOK_VIEW_GET_PRIVATE(o) (G_TYPE_INSTANCE_GET_PRIVATE ((o), TYPE_BOOK_VIEW, BookViewPrivate))
enum  {
	BOOK_VIEW_DUMMY_PROPERTY
};
BookView* book_view_new (Book* book);
BookView* book_view_construct (GType object_type, Book* book);
guint book_get_n_pages (Book* self);
Page* book_get_page (Book* self, gint page_number);
static void book_view_add_cb (BookView* self, Book* book, Page* page);
void book_view_select_page (BookView* self, Page* page);
static void _book_view_add_cb_book_page_added (Book* _sender, Page* page, gpointer self);
static void book_view_remove_cb (BookView* self, Book* book, Page* page);
static void _book_view_remove_cb_book_page_removed (Book* _sender, Page* page, gpointer self);
static void book_view_reorder_cb (BookView* self, Book* book);
static void _book_view_reorder_cb_book_reordered (Book* _sender, gpointer self);
static void book_view_clear_cb (BookView* self, Book* book);
static void _book_view_clear_cb_book_cleared (Book* _sender, gpointer self);
static void _page_unref0_ (gpointer var);
static void _page_view_unref0_ (gpointer var);
static gboolean book_view_configure_cb (BookView* self, GtkWidget* widget, GdkEventConfigure* event);
static gboolean _book_view_configure_cb_gtk_widget_configure_event (GtkWidget* _sender, GdkEventConfigure* event, gpointer self);
static gboolean book_view_draw_cb (BookView* self, GtkWidget* widget, cairo_t* context);
static gboolean _book_view_draw_cb_gtk_widget_draw (GtkWidget* _sender, cairo_t* cr, gpointer self);
static gboolean book_view_motion_cb (BookView* self, GtkWidget* widget, GdkEventMotion* event);
static gboolean _book_view_motion_cb_gtk_widget_motion_notify_event (GtkWidget* _sender, GdkEventMotion* event, gpointer self);
static gboolean book_view_key_cb (BookView* self, GtkWidget* widget, GdkEventKey* event);
static gboolean _book_view_key_cb_gtk_widget_key_press_event (GtkWidget* _sender, GdkEventKey* event, gpointer self);
static gboolean book_view_button_cb (BookView* self, GtkWidget* widget, GdkEventButton* event);
static gboolean _book_view_button_cb_gtk_widget_button_press_event (GtkWidget* _sender, GdkEventButton* event, gpointer self);
static gboolean _book_view_button_cb_gtk_widget_button_release_event (GtkWidget* _sender, GdkEventButton* event, gpointer self);
static gboolean book_view_focus_cb (BookView* self, GtkWidget* widget, GdkEventFocus* event);
static gboolean _book_view_focus_cb_gtk_widget_focus_in_event (GtkWidget* _sender, GdkEventFocus* event, gpointer self);
static gboolean _book_view_focus_cb_gtk_widget_focus_out_event (GtkWidget* _sender, GdkEventFocus* event, gpointer self);
static void book_view_scroll_cb (BookView* self, GtkAdjustment* adjustment);
static void _book_view_scroll_cb_gtk_adjustment_value_changed (GtkAdjustment* _sender, gpointer self);
static PageView* book_view_get_nth_page (BookView* self, gint n);
static PageView* book_view_get_next_page (BookView* self, PageView* page);
Page* page_view_get_page (PageView* self);
static PageView* book_view_get_prev_page (BookView* self, PageView* page);
static void book_view_page_view_changed_cb (BookView* self, PageView* page);
void book_view_redraw (BookView* self);
static void book_view_page_view_size_changed_cb (BookView* self, PageView* page);
PageView* page_view_new (Page* page);
PageView* page_view_construct (GType object_type, Page* page);
static void _book_view_page_view_changed_cb_page_view_changed (PageView* _sender, gpointer self);
static void _book_view_page_view_size_changed_cb_page_view_size_changed (PageView* _sender, gpointer self);
static void book_view_set_selected_page (BookView* self, PageView* page);
void page_view_set_selected (PageView* self, gboolean selected);
static void book_view_set_x_offset (BookView* self, gint offset);
static gint book_view_get_x_offset (BookView* self);
static void book_view_show_page_view (BookView* self, PageView* page);
gint page_view_get_x_offset (PageView* self);
gint page_view_get_width (PageView* self);
static void book_view_select_page_view (BookView* self, PageView* page);
Page* book_view_get_selected (BookView* self);
Book* book_view_get_book (BookView* self);
static void book_view_layout_into (BookView* self, gint width, gint height, gint* book_width, gint* book_height);
gint page_get_dpi (Page* self);
gint page_get_width (Page* self);
gint page_get_height (Page* self);
void page_view_set_width (PageView* self, gint width);
void page_view_set_height (PageView* self, gint height);
gint page_view_get_height (PageView* self);
void page_view_set_x_offset (PageView* self, gint offset);
void page_view_set_y_offset (PageView* self, gint offset);
static void book_view_layout (BookView* self);
void page_view_render (PageView* self, cairo_t* context);
gboolean page_view_get_selected (PageView* self);
gint page_view_get_y_offset (PageView* self);
static PageView* book_view_get_page_at (BookView* self, gint x, gint y, gint* x_, gint* y_);
void page_view_button_press (PageView* self, gint x, gint y);
void page_view_button_release (PageView* self, gint x, gint y);
static void book_view_set_cursor (BookView* self, GdkCursorType cursor);
void page_view_motion (PageView* self, gint x, gint y);
GdkCursorType page_view_get_cursor (PageView* self);
void book_view_select_next_page (BookView* self);
void book_view_select_prev_page (BookView* self);
static void g_cclosure_user_marshal_VOID__PAGE (GClosure * closure, GValue * return_value, guint n_param_values, const GValue * param_values, gpointer invocation_hint, gpointer marshal_data);
static void book_view_finalize (GObject* obj);


static gpointer _book_ref0 (gpointer self) {
	return self ? book_ref (self) : NULL;
}


static void _book_view_add_cb_book_page_added (Book* _sender, Page* page, gpointer self) {
	book_view_add_cb (self, _sender, page);
}


static void _book_view_remove_cb_book_page_removed (Book* _sender, Page* page, gpointer self) {
	book_view_remove_cb (self, _sender, page);
}


static void _book_view_reorder_cb_book_reordered (Book* _sender, gpointer self) {
	book_view_reorder_cb (self, _sender);
}


static void _book_view_clear_cb_book_cleared (Book* _sender, gpointer self) {
	book_view_clear_cb (self, _sender);
}


static void _page_unref0_ (gpointer var) {
	(var == NULL) ? NULL : (var = (page_unref (var), NULL));
}


static void _page_view_unref0_ (gpointer var) {
	(var == NULL) ? NULL : (var = (page_view_unref (var), NULL));
}


static gpointer _g_object_ref0 (gpointer self) {
	return self ? g_object_ref (self) : NULL;
}


static gboolean _book_view_configure_cb_gtk_widget_configure_event (GtkWidget* _sender, GdkEventConfigure* event, gpointer self) {
	gboolean result;
	result = book_view_configure_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_draw_cb_gtk_widget_draw (GtkWidget* _sender, cairo_t* cr, gpointer self) {
	gboolean result;
	result = book_view_draw_cb (self, _sender, cr);
	return result;
}


static gboolean _book_view_motion_cb_gtk_widget_motion_notify_event (GtkWidget* _sender, GdkEventMotion* event, gpointer self) {
	gboolean result;
	result = book_view_motion_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_key_cb_gtk_widget_key_press_event (GtkWidget* _sender, GdkEventKey* event, gpointer self) {
	gboolean result;
	result = book_view_key_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_button_cb_gtk_widget_button_press_event (GtkWidget* _sender, GdkEventButton* event, gpointer self) {
	gboolean result;
	result = book_view_button_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_button_cb_gtk_widget_button_release_event (GtkWidget* _sender, GdkEventButton* event, gpointer self) {
	gboolean result;
	result = book_view_button_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_focus_cb_gtk_widget_focus_in_event (GtkWidget* _sender, GdkEventFocus* event, gpointer self) {
	gboolean result;
	result = book_view_focus_cb (self, _sender, event);
	return result;
}


static gboolean _book_view_focus_cb_gtk_widget_focus_out_event (GtkWidget* _sender, GdkEventFocus* event, gpointer self) {
	gboolean result;
	result = book_view_focus_cb (self, _sender, event);
	return result;
}


static void _book_view_scroll_cb_gtk_adjustment_value_changed (GtkAdjustment* _sender, gpointer self) {
	book_view_scroll_cb (self, _sender);
}


BookView* book_view_construct (GType object_type, Book* book) {
	BookView * self = NULL;
	Book* _tmp0_;
	Book* _tmp1_;
	Book* _tmp13_;
	Page* _tmp14_ = NULL;
	Page* _tmp15_;
	Book* _tmp16_;
	Book* _tmp17_;
	Book* _tmp18_;
	Book* _tmp19_;
	GHashFunc _tmp20_;
	GEqualFunc _tmp21_;
	GHashTable* _tmp22_;
	GtkDrawingArea* _tmp23_;
	GtkWidget* _tmp24_;
	GtkWidget* _tmp25_;
	GtkWidget* _tmp26_;
	GtkWidget* _tmp27_;
	GtkWidget* _tmp28_;
	GtkHScrollbar* _tmp29_;
	GtkHScrollbar* _tmp30_;
	GtkHScrollbar* _tmp31_;
	GtkAdjustment* _tmp32_ = NULL;
	GtkAdjustment* _tmp33_;
	GtkHScrollbar* _tmp34_;
	GtkWidget* _tmp35_;
	GtkWidget* _tmp36_;
	GtkWidget* _tmp37_;
	GtkWidget* _tmp38_;
	GtkWidget* _tmp39_;
	GtkWidget* _tmp40_;
	GtkWidget* _tmp41_;
	GtkWidget* _tmp42_;
	GtkAdjustment* _tmp43_;
	GtkWidget* _tmp44_;
	g_return_val_if_fail (book != NULL, NULL);
	self = (BookView*) g_object_new (object_type, NULL);
	_tmp0_ = book;
	_tmp1_ = _book_ref0 (_tmp0_);
	_book_unref0 (self->priv->book);
	self->priv->book = _tmp1_;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp2_;
			_tmp2_ = TRUE;
			while (TRUE) {
				gboolean _tmp3_;
				gint _tmp5_;
				Book* _tmp6_;
				guint _tmp7_ = 0U;
				Book* _tmp8_;
				gint _tmp9_;
				Page* _tmp10_ = NULL;
				Page* page;
				Book* _tmp11_;
				Page* _tmp12_;
				_tmp3_ = _tmp2_;
				if (!_tmp3_) {
					gint _tmp4_;
					_tmp4_ = i;
					i = _tmp4_ + 1;
				}
				_tmp2_ = FALSE;
				_tmp5_ = i;
				_tmp6_ = book;
				_tmp7_ = book_get_n_pages (_tmp6_);
				if (!(((guint) _tmp5_) < _tmp7_)) {
					break;
				}
				_tmp8_ = book;
				_tmp9_ = i;
				_tmp10_ = book_get_page (_tmp8_, _tmp9_);
				page = _tmp10_;
				_tmp11_ = book;
				_tmp12_ = page;
				book_view_add_cb (self, _tmp11_, _tmp12_);
				_page_unref0 (page);
			}
		}
	}
	_tmp13_ = book;
	_tmp14_ = book_get_page (_tmp13_, 0);
	_tmp15_ = _tmp14_;
	book_view_select_page (self, _tmp15_);
	_page_unref0 (_tmp15_);
	_tmp16_ = book;
	g_signal_connect_object (_tmp16_, "page-added", (GCallback) _book_view_add_cb_book_page_added, self, 0);
	_tmp17_ = book;
	g_signal_connect_object (_tmp17_, "page-removed", (GCallback) _book_view_remove_cb_book_page_removed, self, 0);
	_tmp18_ = book;
	g_signal_connect_object (_tmp18_, "reordered", (GCallback) _book_view_reorder_cb_book_reordered, self, 0);
	_tmp19_ = book;
	g_signal_connect_object (_tmp19_, "cleared", (GCallback) _book_view_clear_cb_book_cleared, self, 0);
	self->priv->need_layout = TRUE;
	_tmp20_ = g_direct_hash;
	_tmp21_ = g_direct_equal;
	_tmp22_ = g_hash_table_new_full (_tmp20_, _tmp21_, _page_unref0_, _page_view_unref0_);
	_g_hash_table_unref0 (self->priv->page_data);
	self->priv->page_data = _tmp22_;
	self->priv->cursor = GDK_ARROW;
	_tmp23_ = (GtkDrawingArea*) gtk_drawing_area_new ();
	_tmp24_ = (GtkWidget*) g_object_ref_sink (_tmp23_);
	_g_object_unref0 (self->priv->drawing_area);
	self->priv->drawing_area = _tmp24_;
	_tmp25_ = self->priv->drawing_area;
	gtk_widget_set_size_request (_tmp25_, 200, 100);
	_tmp26_ = self->priv->drawing_area;
	gtk_widget_set_can_focus (_tmp26_, TRUE);
	_tmp27_ = self->priv->drawing_area;
	gtk_widget_set_events (_tmp27_, (gint) (((((GDK_POINTER_MOTION_MASK | GDK_BUTTON_PRESS_MASK) | GDK_BUTTON_RELEASE_MASK) | GDK_FOCUS_CHANGE_MASK) | GDK_STRUCTURE_MASK) | GDK_SCROLL_MASK));
	_tmp28_ = self->priv->drawing_area;
	gtk_box_pack_start ((GtkBox*) self, _tmp28_, TRUE, TRUE, (guint) 0);
	_tmp29_ = (GtkHScrollbar*) gtk_hscrollbar_new (NULL);
	_tmp30_ = g_object_ref_sink (_tmp29_);
	_g_object_unref0 (self->priv->scroll);
	self->priv->scroll = _tmp30_;
	_tmp31_ = self->priv->scroll;
	_tmp32_ = gtk_range_get_adjustment ((GtkRange*) _tmp31_);
	_tmp33_ = _g_object_ref0 (_tmp32_);
	_g_object_unref0 (self->priv->adjustment);
	self->priv->adjustment = _tmp33_;
	_tmp34_ = self->priv->scroll;
	gtk_box_pack_start ((GtkBox*) self, (GtkWidget*) _tmp34_, FALSE, TRUE, (guint) 0);
	_tmp35_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp35_, "configure-event", (GCallback) _book_view_configure_cb_gtk_widget_configure_event, self, 0);
	_tmp36_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp36_, "draw", (GCallback) _book_view_draw_cb_gtk_widget_draw, self, 0);
	_tmp37_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp37_, "motion-notify-event", (GCallback) _book_view_motion_cb_gtk_widget_motion_notify_event, self, 0);
	_tmp38_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp38_, "key-press-event", (GCallback) _book_view_key_cb_gtk_widget_key_press_event, self, 0);
	_tmp39_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp39_, "button-press-event", (GCallback) _book_view_button_cb_gtk_widget_button_press_event, self, 0);
	_tmp40_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp40_, "button-release-event", (GCallback) _book_view_button_cb_gtk_widget_button_release_event, self, 0);
	_tmp41_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp41_, "focus-in-event", (GCallback) _book_view_focus_cb_gtk_widget_focus_in_event, self, G_CONNECT_AFTER);
	_tmp42_ = self->priv->drawing_area;
	g_signal_connect_object (_tmp42_, "focus-out-event", (GCallback) _book_view_focus_cb_gtk_widget_focus_out_event, self, G_CONNECT_AFTER);
	_tmp43_ = self->priv->adjustment;
	g_signal_connect_object (_tmp43_, "value-changed", (GCallback) _book_view_scroll_cb_gtk_adjustment_value_changed, self, 0);
	_tmp44_ = self->priv->drawing_area;
	gtk_widget_show (_tmp44_);
	return self;
}


BookView* book_view_new (Book* book) {
	return book_view_construct (TYPE_BOOK_VIEW, book);
}


static gpointer _page_view_ref0 (gpointer self) {
	return self ? page_view_ref (self) : NULL;
}


static PageView* book_view_get_nth_page (BookView* self, gint n) {
	PageView* result = NULL;
	Book* _tmp0_;
	gint _tmp1_;
	Page* _tmp2_ = NULL;
	Page* page;
	GHashTable* _tmp3_;
	gconstpointer _tmp4_ = NULL;
	PageView* _tmp5_;
	g_return_val_if_fail (self != NULL, NULL);
	_tmp0_ = self->priv->book;
	_tmp1_ = n;
	_tmp2_ = book_get_page (_tmp0_, _tmp1_);
	page = _tmp2_;
	_tmp3_ = self->priv->page_data;
	_tmp4_ = g_hash_table_lookup (_tmp3_, page);
	_tmp5_ = _page_view_ref0 ((PageView*) _tmp4_);
	result = _tmp5_;
	_page_unref0 (page);
	return result;
}


static PageView* book_view_get_next_page (BookView* self, PageView* page) {
	PageView* result = NULL;
	PageView* _tmp20_;
	PageView* _tmp21_;
	g_return_val_if_fail (self != NULL, NULL);
	g_return_val_if_fail (page != NULL, NULL);
	{
		gint i;
		i = 0;
		{
			gboolean _tmp0_;
			_tmp0_ = TRUE;
			while (TRUE) {
				gboolean _tmp1_;
				Book* _tmp3_;
				gint _tmp4_;
				Page* _tmp5_ = NULL;
				Page* p;
				Page* _tmp6_;
				Page* _tmp7_;
				PageView* _tmp8_;
				Page* _tmp9_ = NULL;
				Page* _tmp10_;
				gboolean _tmp11_;
				_tmp1_ = _tmp0_;
				if (!_tmp1_) {
					gint _tmp2_;
					_tmp2_ = i;
					i = _tmp2_ + 1;
				}
				_tmp0_ = FALSE;
				_tmp3_ = self->priv->book;
				_tmp4_ = i;
				_tmp5_ = book_get_page (_tmp3_, _tmp4_);
				p = _tmp5_;
				_tmp6_ = p;
				if (_tmp6_ == NULL) {
					_page_unref0 (p);
					break;
				}
				_tmp7_ = p;
				_tmp8_ = page;
				_tmp9_ = page_view_get_page (_tmp8_);
				_tmp10_ = _tmp9_;
				_tmp11_ = _tmp7_ == _tmp10_;
				_page_unref0 (_tmp10_);
				if (_tmp11_) {
					Book* _tmp12_;
					gint _tmp13_;
					Page* _tmp14_ = NULL;
					Page* _tmp15_;
					_tmp12_ = self->priv->book;
					_tmp13_ = i;
					_tmp14_ = book_get_page (_tmp12_, _tmp13_ + 1);
					_page_unref0 (p);
					p = _tmp14_;
					_tmp15_ = p;
					if (_tmp15_ != NULL) {
						GHashTable* _tmp16_;
						Page* _tmp17_;
						gconstpointer _tmp18_ = NULL;
						PageView* _tmp19_;
						_tmp16_ = self->priv->page_data;
						_tmp17_ = p;
						_tmp18_ = g_hash_table_lookup (_tmp16_, _tmp17_);
						_tmp19_ = _page_view_ref0 ((PageView*) _tmp18_);
						result = _tmp19_;
						_page_unref0 (p);
						return result;
					}
				}
				_page_unref0 (p);
			}
		}
	}
	_tmp20_ = page;
	_tmp21_ = _page_view_ref0 (_tmp20_);
	result = _tmp21_;
	return result;
}


static PageView* book_view_get_prev_page (BookView* self, PageView* page) {
	PageView* result = NULL;
	PageView* _tmp0_;
	PageView* _tmp1_;
	PageView* prev_page;
	PageView* _tmp18_;
	PageView* _tmp19_;
	g_return_val_if_fail (self != NULL, NULL);
	g_return_val_if_fail (page != NULL, NULL);
	_tmp0_ = page;
	_tmp1_ = _page_view_ref0 (_tmp0_);
	prev_page = _tmp1_;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp2_;
			_tmp2_ = TRUE;
			while (TRUE) {
				gboolean _tmp3_;
				Book* _tmp5_;
				gint _tmp6_;
				Page* _tmp7_ = NULL;
				Page* p;
				Page* _tmp8_;
				Page* _tmp9_;
				PageView* _tmp10_;
				Page* _tmp11_ = NULL;
				Page* _tmp12_;
				gboolean _tmp13_;
				GHashTable* _tmp14_;
				Page* _tmp15_;
				gconstpointer _tmp16_ = NULL;
				PageView* _tmp17_;
				_tmp3_ = _tmp2_;
				if (!_tmp3_) {
					gint _tmp4_;
					_tmp4_ = i;
					i = _tmp4_ + 1;
				}
				_tmp2_ = FALSE;
				_tmp5_ = self->priv->book;
				_tmp6_ = i;
				_tmp7_ = book_get_page (_tmp5_, _tmp6_);
				p = _tmp7_;
				_tmp8_ = p;
				if (_tmp8_ == NULL) {
					_page_unref0 (p);
					break;
				}
				_tmp9_ = p;
				_tmp10_ = page;
				_tmp11_ = page_view_get_page (_tmp10_);
				_tmp12_ = _tmp11_;
				_tmp13_ = _tmp9_ == _tmp12_;
				_page_unref0 (_tmp12_);
				if (_tmp13_) {
					result = prev_page;
					_page_unref0 (p);
					return result;
				}
				_tmp14_ = self->priv->page_data;
				_tmp15_ = p;
				_tmp16_ = g_hash_table_lookup (_tmp14_, _tmp15_);
				_tmp17_ = _page_view_ref0 ((PageView*) _tmp16_);
				_page_view_unref0 (prev_page);
				prev_page = _tmp17_;
				_page_unref0 (p);
			}
		}
	}
	_tmp18_ = page;
	_tmp19_ = _page_view_ref0 (_tmp18_);
	result = _tmp19_;
	_page_view_unref0 (prev_page);
	return result;
}


static void book_view_page_view_changed_cb (BookView* self, PageView* page) {
	g_return_if_fail (self != NULL);
	g_return_if_fail (page != NULL);
	book_view_redraw (self);
}


static void book_view_page_view_size_changed_cb (BookView* self, PageView* page) {
	g_return_if_fail (self != NULL);
	g_return_if_fail (page != NULL);
	self->priv->need_layout = TRUE;
	book_view_redraw (self);
}


static void _book_view_page_view_changed_cb_page_view_changed (PageView* _sender, gpointer self) {
	book_view_page_view_changed_cb (self, _sender);
}


static void _book_view_page_view_size_changed_cb_page_view_size_changed (PageView* _sender, gpointer self) {
	book_view_page_view_size_changed_cb (self, _sender);
}


static gpointer _page_ref0 (gpointer self) {
	return self ? page_ref (self) : NULL;
}


static void book_view_add_cb (BookView* self, Book* book, Page* page) {
	Page* _tmp0_;
	PageView* _tmp1_;
	PageView* page_view;
	GHashTable* _tmp2_;
	Page* _tmp3_;
	Page* _tmp4_;
	PageView* _tmp5_;
	g_return_if_fail (self != NULL);
	g_return_if_fail (book != NULL);
	g_return_if_fail (page != NULL);
	_tmp0_ = page;
	_tmp1_ = page_view_new (_tmp0_);
	page_view = _tmp1_;
	g_signal_connect_object (page_view, "changed", (GCallback) _book_view_page_view_changed_cb_page_view_changed, self, 0);
	g_signal_connect_object (page_view, "size-changed", (GCallback) _book_view_page_view_size_changed_cb_page_view_size_changed, self, 0);
	_tmp2_ = self->priv->page_data;
	_tmp3_ = page;
	_tmp4_ = _page_ref0 (_tmp3_);
	_tmp5_ = _page_view_ref0 (page_view);
	g_hash_table_insert (_tmp2_, _tmp4_, _tmp5_);
	self->priv->need_layout = TRUE;
	book_view_redraw (self);
	_page_view_unref0 (page_view);
}


static void book_view_set_selected_page (BookView* self, PageView* page) {
	gboolean _tmp0_ = FALSE;
	PageView* _tmp1_;
	gboolean _tmp4_;
	PageView* _tmp6_;
	PageView* _tmp7_;
	PageView* _tmp8_;
	GtkWidget* _tmp9_;
	gboolean _tmp10_ = FALSE;
	gboolean _tmp11_;
	g_return_if_fail (self != NULL);
	_tmp1_ = self->priv->selected_page;
	if (_tmp1_ != NULL) {
		PageView* _tmp2_;
		PageView* _tmp3_;
		_tmp2_ = page;
		_tmp3_ = self->priv->selected_page;
		_tmp0_ = _tmp2_ != _tmp3_;
	} else {
		_tmp0_ = FALSE;
	}
	_tmp4_ = _tmp0_;
	if (_tmp4_) {
		PageView* _tmp5_;
		_tmp5_ = self->priv->selected_page;
		page_view_set_selected (_tmp5_, FALSE);
	}
	_tmp6_ = page;
	_tmp7_ = _page_view_ref0 (_tmp6_);
	_page_view_unref0 (self->priv->selected_page);
	self->priv->selected_page = _tmp7_;
	_tmp8_ = self->priv->selected_page;
	if (_tmp8_ == NULL) {
		return;
	}
	_tmp9_ = self->priv->drawing_area;
	g_object_get (_tmp9_, "has-focus", &_tmp10_, NULL);
	_tmp11_ = _tmp10_;
	if (!_tmp11_) {
		PageView* _tmp12_;
		_tmp12_ = self->priv->selected_page;
		page_view_set_selected (_tmp12_, FALSE);
	} else {
		PageView* _tmp13_;
		_tmp13_ = self->priv->selected_page;
		page_view_set_selected (_tmp13_, TRUE);
	}
}


static void book_view_set_x_offset (BookView* self, gint offset) {
	GtkAdjustment* _tmp0_;
	gint _tmp1_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->adjustment;
	_tmp1_ = offset;
	gtk_adjustment_set_value (_tmp0_, (gdouble) _tmp1_);
}


static gint book_view_get_x_offset (BookView* self) {
	gint result = 0;
	GtkAdjustment* _tmp0_;
	gdouble _tmp1_ = 0.0;
	g_return_val_if_fail (self != NULL, 0);
	_tmp0_ = self->priv->adjustment;
	_tmp1_ = gtk_adjustment_get_value (_tmp0_);
	result = (gint) _tmp1_;
	return result;
}


static void book_view_show_page_view (BookView* self, PageView* page) {
	gboolean _tmp0_ = FALSE;
	PageView* _tmp1_;
	gboolean _tmp4_;
	GtkAllocation allocation = {0};
	GtkWidget* _tmp5_;
	GtkAllocation _tmp6_ = {0};
	PageView* _tmp7_;
	gint _tmp8_ = 0;
	gint left_edge;
	PageView* _tmp9_;
	gint _tmp10_ = 0;
	PageView* _tmp11_;
	gint _tmp12_ = 0;
	gint right_edge;
	gint _tmp13_;
	gint _tmp14_ = 0;
	g_return_if_fail (self != NULL);
	_tmp1_ = page;
	if (_tmp1_ == NULL) {
		_tmp0_ = TRUE;
	} else {
		GtkHScrollbar* _tmp2_;
		gboolean _tmp3_ = FALSE;
		_tmp2_ = self->priv->scroll;
		_tmp3_ = gtk_widget_get_visible ((GtkWidget*) _tmp2_);
		_tmp0_ = !_tmp3_;
	}
	_tmp4_ = _tmp0_;
	if (_tmp4_) {
		return;
	}
	_tmp5_ = self->priv->drawing_area;
	gtk_widget_get_allocation (_tmp5_, &_tmp6_);
	allocation = _tmp6_;
	_tmp7_ = page;
	_tmp8_ = page_view_get_x_offset (_tmp7_);
	left_edge = _tmp8_;
	_tmp9_ = page;
	_tmp10_ = page_view_get_x_offset (_tmp9_);
	_tmp11_ = page;
	_tmp12_ = page_view_get_width (_tmp11_);
	right_edge = _tmp10_ + _tmp12_;
	_tmp13_ = left_edge;
	_tmp14_ = book_view_get_x_offset (self);
	if ((_tmp13_ - _tmp14_) < 0) {
		gint _tmp15_;
		_tmp15_ = left_edge;
		book_view_set_x_offset (self, _tmp15_);
	} else {
		gint _tmp16_;
		gint _tmp17_ = 0;
		GtkAllocation _tmp18_;
		gint _tmp19_;
		_tmp16_ = right_edge;
		_tmp17_ = book_view_get_x_offset (self);
		_tmp18_ = allocation;
		_tmp19_ = _tmp18_.width;
		if ((_tmp16_ - _tmp17_) > _tmp19_) {
			gint _tmp20_;
			GtkAllocation _tmp21_;
			gint _tmp22_;
			_tmp20_ = right_edge;
			_tmp21_ = allocation;
			_tmp22_ = _tmp21_.width;
			book_view_set_x_offset (self, _tmp20_ - _tmp22_);
		}
	}
}


static void book_view_select_page_view (BookView* self, PageView* page) {
	Page* p;
	PageView* _tmp0_;
	PageView* _tmp1_;
	PageView* _tmp2_;
	gboolean _tmp3_;
	PageView* _tmp5_;
	Page* _tmp8_;
	g_return_if_fail (self != NULL);
	p = NULL;
	_tmp0_ = self->priv->selected_page;
	_tmp1_ = page;
	if (_tmp0_ == _tmp1_) {
		_page_unref0 (p);
		return;
	}
	_tmp2_ = page;
	book_view_set_selected_page (self, _tmp2_);
	_tmp3_ = self->priv->need_layout;
	if (_tmp3_) {
		self->priv->show_selected_page = TRUE;
	} else {
		PageView* _tmp4_;
		_tmp4_ = page;
		book_view_show_page_view (self, _tmp4_);
	}
	_tmp5_ = page;
	if (_tmp5_ != NULL) {
		PageView* _tmp6_;
		Page* _tmp7_ = NULL;
		_tmp6_ = page;
		_tmp7_ = page_view_get_page (_tmp6_);
		_page_unref0 (p);
		p = _tmp7_;
	}
	_tmp8_ = p;
	g_signal_emit_by_name (self, "page-selected", _tmp8_);
	_page_unref0 (p);
}


static void book_view_remove_cb (BookView* self, Book* book, Page* page) {
	PageView* _tmp0_;
	PageView* _tmp1_;
	PageView* new_selection;
	Page* _tmp2_;
	Page* _tmp3_ = NULL;
	Page* _tmp4_;
	gboolean _tmp5_;
	GHashTable* _tmp12_;
	Page* _tmp13_;
	PageView* _tmp14_;
	g_return_if_fail (self != NULL);
	g_return_if_fail (book != NULL);
	g_return_if_fail (page != NULL);
	_tmp0_ = self->priv->selected_page;
	_tmp1_ = _page_view_ref0 (_tmp0_);
	new_selection = _tmp1_;
	_tmp2_ = page;
	_tmp3_ = book_view_get_selected (self);
	_tmp4_ = _tmp3_;
	_tmp5_ = _tmp2_ == _tmp4_;
	_page_unref0 (_tmp4_);
	if (_tmp5_) {
		PageView* _tmp6_;
		PageView* _tmp7_ = NULL;
		PageView* _tmp8_;
		PageView* _tmp9_;
		_tmp6_ = self->priv->selected_page;
		_tmp7_ = book_view_get_prev_page (self, _tmp6_);
		_page_view_unref0 (new_selection);
		new_selection = _tmp7_;
		_tmp8_ = new_selection;
		_tmp9_ = self->priv->selected_page;
		if (_tmp8_ == _tmp9_) {
			PageView* _tmp10_;
			PageView* _tmp11_ = NULL;
			_tmp10_ = self->priv->selected_page;
			_tmp11_ = book_view_get_next_page (self, _tmp10_);
			_page_view_unref0 (new_selection);
			new_selection = _tmp11_;
		}
		_page_view_unref0 (self->priv->selected_page);
		self->priv->selected_page = NULL;
	}
	_tmp12_ = self->priv->page_data;
	_tmp13_ = page;
	g_hash_table_remove (_tmp12_, _tmp13_);
	_tmp14_ = new_selection;
	book_view_select_page_view (self, _tmp14_);
	self->priv->need_layout = TRUE;
	book_view_redraw (self);
	_page_view_unref0 (new_selection);
}


static void book_view_reorder_cb (BookView* self, Book* book) {
	g_return_if_fail (self != NULL);
	g_return_if_fail (book != NULL);
	self->priv->need_layout = TRUE;
	book_view_redraw (self);
}


static void book_view_clear_cb (BookView* self, Book* book) {
	GHashTable* _tmp0_;
	g_return_if_fail (self != NULL);
	g_return_if_fail (book != NULL);
	_tmp0_ = self->priv->page_data;
	g_hash_table_remove_all (_tmp0_);
	_page_view_unref0 (self->priv->selected_page);
	self->priv->selected_page = NULL;
	g_signal_emit_by_name (self, "page-selected", NULL);
	self->priv->need_layout = TRUE;
	book_view_redraw (self);
}


Book* book_view_get_book (BookView* self) {
	Book* result = NULL;
	Book* _tmp0_;
	Book* _tmp1_;
	g_return_val_if_fail (self != NULL, NULL);
	_tmp0_ = self->priv->book;
	_tmp1_ = _book_ref0 (_tmp0_);
	result = _tmp1_;
	return result;
}


static gboolean book_view_configure_cb (BookView* self, GtkWidget* widget, GdkEventConfigure* event) {
	gboolean result = FALSE;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (event != NULL, FALSE);
	self->priv->need_layout = TRUE;
	result = FALSE;
	return result;
}


static void book_view_layout_into (BookView* self, gint width, gint height, gint* book_width, gint* book_height) {
	gint _vala_book_width = 0;
	gint _vala_book_height = 0;
	gint max_dpi;
	gint max_width;
	gint max_height;
	gint _tmp41_;
	gint _tmp42_;
	gdouble aspect;
	gint _tmp43_;
	gint _tmp44_;
	gdouble max_aspect;
	gint spacing;
	gint x_offset;
	g_return_if_fail (self != NULL);
	max_dpi = 0;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp0_;
			_tmp0_ = TRUE;
			while (TRUE) {
				gboolean _tmp1_;
				gint _tmp3_;
				Book* _tmp4_;
				guint _tmp5_ = 0U;
				Book* _tmp6_;
				gint _tmp7_;
				Page* _tmp8_ = NULL;
				Page* page;
				Page* _tmp9_;
				gint _tmp10_ = 0;
				gint _tmp11_;
				_tmp1_ = _tmp0_;
				if (!_tmp1_) {
					gint _tmp2_;
					_tmp2_ = i;
					i = _tmp2_ + 1;
				}
				_tmp0_ = FALSE;
				_tmp3_ = i;
				_tmp4_ = self->priv->book;
				_tmp5_ = book_get_n_pages (_tmp4_);
				if (!(((guint) _tmp3_) < _tmp5_)) {
					break;
				}
				_tmp6_ = self->priv->book;
				_tmp7_ = i;
				_tmp8_ = book_get_page (_tmp6_, _tmp7_);
				page = _tmp8_;
				_tmp9_ = page;
				_tmp10_ = page_get_dpi (_tmp9_);
				_tmp11_ = max_dpi;
				if (_tmp10_ > _tmp11_) {
					Page* _tmp12_;
					gint _tmp13_ = 0;
					_tmp12_ = page;
					_tmp13_ = page_get_dpi (_tmp12_);
					max_dpi = _tmp13_;
				}
				_page_unref0 (page);
			}
		}
	}
	max_width = 0;
	max_height = 0;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp14_;
			_tmp14_ = TRUE;
			while (TRUE) {
				gboolean _tmp15_;
				gint _tmp17_;
				Book* _tmp18_;
				guint _tmp19_ = 0U;
				Book* _tmp20_;
				gint _tmp21_;
				Page* _tmp22_ = NULL;
				Page* page;
				Page* _tmp23_;
				gint _tmp24_ = 0;
				gint w;
				Page* _tmp25_;
				gint _tmp26_ = 0;
				gint h;
				gint _tmp27_;
				gint _tmp28_;
				Page* _tmp29_;
				gint _tmp30_ = 0;
				gint _tmp31_;
				gint _tmp32_;
				Page* _tmp33_;
				gint _tmp34_ = 0;
				gint _tmp35_;
				gint _tmp36_;
				gint _tmp38_;
				gint _tmp39_;
				_tmp15_ = _tmp14_;
				if (!_tmp15_) {
					gint _tmp16_;
					_tmp16_ = i;
					i = _tmp16_ + 1;
				}
				_tmp14_ = FALSE;
				_tmp17_ = i;
				_tmp18_ = self->priv->book;
				_tmp19_ = book_get_n_pages (_tmp18_);
				if (!(((guint) _tmp17_) < _tmp19_)) {
					break;
				}
				_tmp20_ = self->priv->book;
				_tmp21_ = i;
				_tmp22_ = book_get_page (_tmp20_, _tmp21_);
				page = _tmp22_;
				_tmp23_ = page;
				_tmp24_ = page_get_width (_tmp23_);
				w = _tmp24_;
				_tmp25_ = page;
				_tmp26_ = page_get_height (_tmp25_);
				h = _tmp26_;
				_tmp27_ = w;
				_tmp28_ = max_dpi;
				_tmp29_ = page;
				_tmp30_ = page_get_dpi (_tmp29_);
				w = (gint) (((((gdouble) _tmp27_) * _tmp28_) / _tmp30_) + 0.5);
				_tmp31_ = h;
				_tmp32_ = max_dpi;
				_tmp33_ = page;
				_tmp34_ = page_get_dpi (_tmp33_);
				h = (gint) (((((gdouble) _tmp31_) * _tmp32_) / _tmp34_) + 0.5);
				_tmp35_ = w;
				_tmp36_ = max_width;
				if (_tmp35_ > _tmp36_) {
					gint _tmp37_;
					_tmp37_ = w;
					max_width = _tmp37_;
				}
				_tmp38_ = h;
				_tmp39_ = max_height;
				if (_tmp38_ > _tmp39_) {
					gint _tmp40_;
					_tmp40_ = h;
					max_height = _tmp40_;
				}
				_page_unref0 (page);
			}
		}
	}
	_tmp41_ = width;
	_tmp42_ = height;
	aspect = ((gdouble) _tmp41_) / _tmp42_;
	_tmp43_ = max_width;
	_tmp44_ = max_height;
	max_aspect = ((gdouble) _tmp43_) / _tmp44_;
	spacing = 12;
	_vala_book_width = 0;
	_vala_book_height = 0;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp45_;
			_tmp45_ = TRUE;
			while (TRUE) {
				gboolean _tmp46_;
				gint _tmp48_;
				Book* _tmp49_;
				guint _tmp50_ = 0U;
				gint _tmp51_;
				PageView* _tmp52_ = NULL;
				PageView* page;
				PageView* _tmp53_;
				Page* _tmp54_ = NULL;
				Page* p;
				gdouble _tmp55_;
				gdouble _tmp56_;
				PageView* _tmp75_;
				gint _tmp76_ = 0;
				gint h;
				gint _tmp77_;
				gint _tmp78_;
				gint _tmp80_;
				PageView* _tmp81_;
				gint _tmp82_ = 0;
				gint _tmp83_;
				_tmp46_ = _tmp45_;
				if (!_tmp46_) {
					gint _tmp47_;
					_tmp47_ = i;
					i = _tmp47_ + 1;
				}
				_tmp45_ = FALSE;
				_tmp48_ = i;
				_tmp49_ = self->priv->book;
				_tmp50_ = book_get_n_pages (_tmp49_);
				if (!(((guint) _tmp48_) < _tmp50_)) {
					break;
				}
				_tmp51_ = i;
				_tmp52_ = book_view_get_nth_page (self, _tmp51_);
				page = _tmp52_;
				_tmp53_ = page;
				_tmp54_ = page_view_get_page (_tmp53_);
				p = _tmp54_;
				_tmp55_ = max_aspect;
				_tmp56_ = aspect;
				if (_tmp55_ > _tmp56_) {
					Page* _tmp57_;
					gint _tmp58_ = 0;
					gint _tmp59_;
					gint _tmp60_;
					Page* _tmp61_;
					gint _tmp62_ = 0;
					gint _tmp63_;
					gint w;
					PageView* _tmp64_;
					gint _tmp65_;
					_tmp57_ = p;
					_tmp58_ = page_get_width (_tmp57_);
					_tmp59_ = max_dpi;
					_tmp60_ = width;
					_tmp61_ = p;
					_tmp62_ = page_get_dpi (_tmp61_);
					_tmp63_ = max_width;
					w = (gint) (((((gdouble) _tmp58_) * _tmp59_) * _tmp60_) / (_tmp62_ * _tmp63_));
					_tmp64_ = page;
					_tmp65_ = w;
					page_view_set_width (_tmp64_, _tmp65_);
				} else {
					Page* _tmp66_;
					gint _tmp67_ = 0;
					gint _tmp68_;
					gint _tmp69_;
					Page* _tmp70_;
					gint _tmp71_ = 0;
					gint _tmp72_;
					gint h;
					PageView* _tmp73_;
					gint _tmp74_;
					_tmp66_ = p;
					_tmp67_ = page_get_height (_tmp66_);
					_tmp68_ = max_dpi;
					_tmp69_ = height;
					_tmp70_ = p;
					_tmp71_ = page_get_dpi (_tmp70_);
					_tmp72_ = max_height;
					h = (gint) (((((gdouble) _tmp67_) * _tmp68_) * _tmp69_) / (_tmp71_ * _tmp72_));
					_tmp73_ = page;
					_tmp74_ = h;
					page_view_set_height (_tmp73_, _tmp74_);
				}
				_tmp75_ = page;
				_tmp76_ = page_view_get_height (_tmp75_);
				h = _tmp76_;
				_tmp77_ = h;
				_tmp78_ = _vala_book_height;
				if (_tmp77_ > _tmp78_) {
					gint _tmp79_;
					_tmp79_ = h;
					_vala_book_height = _tmp79_;
				}
				_tmp80_ = _vala_book_width;
				_tmp81_ = page;
				_tmp82_ = page_view_get_width (_tmp81_);
				_vala_book_width = _tmp80_ + _tmp82_;
				_tmp83_ = i;
				if (_tmp83_ != 0) {
					gint _tmp84_;
					gint _tmp85_;
					_tmp84_ = _vala_book_width;
					_tmp85_ = spacing;
					_vala_book_width = _tmp84_ + _tmp85_;
				}
				_page_unref0 (p);
				_page_view_unref0 (page);
			}
		}
	}
	x_offset = 0;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp86_;
			_tmp86_ = TRUE;
			while (TRUE) {
				gboolean _tmp87_;
				gint _tmp89_;
				Book* _tmp90_;
				guint _tmp91_ = 0U;
				gint _tmp92_;
				PageView* _tmp93_ = NULL;
				PageView* page;
				PageView* _tmp94_;
				gint _tmp95_;
				gint _tmp96_;
				PageView* _tmp97_;
				gint _tmp98_ = 0;
				gint _tmp99_;
				PageView* _tmp100_;
				gint _tmp101_;
				PageView* _tmp102_;
				gint _tmp103_ = 0;
				_tmp87_ = _tmp86_;
				if (!_tmp87_) {
					gint _tmp88_;
					_tmp88_ = i;
					i = _tmp88_ + 1;
				}
				_tmp86_ = FALSE;
				_tmp89_ = i;
				_tmp90_ = self->priv->book;
				_tmp91_ = book_get_n_pages (_tmp90_);
				if (!(((guint) _tmp89_) < _tmp91_)) {
					break;
				}
				_tmp92_ = i;
				_tmp93_ = book_view_get_nth_page (self, _tmp92_);
				page = _tmp93_;
				_tmp94_ = page;
				_tmp95_ = x_offset;
				page_view_set_x_offset (_tmp94_, _tmp95_);
				_tmp96_ = x_offset;
				_tmp97_ = page;
				_tmp98_ = page_view_get_width (_tmp97_);
				_tmp99_ = spacing;
				x_offset = _tmp96_ + (_tmp98_ + _tmp99_);
				_tmp100_ = page;
				_tmp101_ = height;
				_tmp102_ = page;
				_tmp103_ = page_view_get_height (_tmp102_);
				page_view_set_y_offset (_tmp100_, (_tmp101_ - _tmp103_) / 2);
				_page_view_unref0 (page);
			}
		}
	}
	if (book_width) {
		*book_width = _vala_book_width;
	}
	if (book_height) {
		*book_height = _vala_book_height;
	}
}


static void book_view_layout (BookView* self) {
	gboolean _tmp0_;
	GtkAllocation allocation = {0};
	GtkWidget* _tmp1_;
	GtkAllocation _tmp2_ = {0};
	GtkAllocation box_allocation = {0};
	GtkAllocation _tmp3_ = {0};
	gboolean right_aligned;
	GtkAdjustment* _tmp4_;
	gdouble _tmp5_ = 0.0;
	GtkAdjustment* _tmp6_;
	gdouble _tmp7_ = 0.0;
	GtkAdjustment* _tmp8_;
	gdouble _tmp9_ = 0.0;
	GtkAllocation _tmp10_;
	gint _tmp11_;
	gint width;
	GtkAllocation _tmp12_;
	gint _tmp13_;
	guint _tmp14_ = 0U;
	gint height;
	gint book_width = 0;
	gint book_height = 0;
	gint _tmp15_;
	gint _tmp16_;
	gint _tmp17_ = 0;
	gint _tmp18_ = 0;
	gint _tmp19_;
	GtkAllocation _tmp20_;
	gint _tmp21_;
	gboolean _tmp54_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->need_layout;
	if (!_tmp0_) {
		return;
	}
	self->priv->laying_out = TRUE;
	_tmp1_ = self->priv->drawing_area;
	gtk_widget_get_allocation (_tmp1_, &_tmp2_);
	allocation = _tmp2_;
	gtk_widget_get_allocation ((GtkWidget*) self, &_tmp3_);
	box_allocation = _tmp3_;
	right_aligned = TRUE;
	_tmp4_ = self->priv->adjustment;
	_tmp5_ = gtk_adjustment_get_value (_tmp4_);
	_tmp6_ = self->priv->adjustment;
	_tmp7_ = gtk_adjustment_get_upper (_tmp6_);
	_tmp8_ = self->priv->adjustment;
	_tmp9_ = gtk_adjustment_get_page_size (_tmp8_);
	if (_tmp5_ < (_tmp7_ - _tmp9_)) {
		right_aligned = FALSE;
	}
	_tmp10_ = allocation;
	_tmp11_ = _tmp10_.width;
	width = (gint) _tmp11_;
	_tmp12_ = box_allocation;
	_tmp13_ = _tmp12_.height;
	_tmp14_ = gtk_container_get_border_width ((GtkContainer*) self);
	height = (gint) (_tmp13_ - (_tmp14_ * 2));
	_tmp15_ = width;
	_tmp16_ = height;
	book_view_layout_into (self, _tmp15_, _tmp16_, &_tmp17_, &_tmp18_);
	book_width = _tmp17_;
	book_height = _tmp18_;
	_tmp19_ = book_width;
	_tmp20_ = allocation;
	_tmp21_ = _tmp20_.width;
	if (_tmp19_ > _tmp21_) {
		GtkAllocation _tmp22_;
		gint _tmp23_;
		gint _tmp24_;
		gint _tmp25_;
		gint _tmp26_ = 0;
		gint _tmp27_ = 0;
		GtkAdjustment* _tmp28_;
		GtkAdjustment* _tmp29_;
		gint _tmp30_;
		GtkAdjustment* _tmp31_;
		GtkAllocation _tmp32_;
		gint _tmp33_;
		gint _tmp34_;
		GtkAllocation _tmp35_;
		gint _tmp36_;
		gint max_offset;
		gboolean _tmp37_ = FALSE;
		gboolean _tmp38_;
		gboolean _tmp41_;
		GtkHScrollbar* _tmp43_;
		_tmp22_ = allocation;
		_tmp23_ = _tmp22_.height;
		height = _tmp23_;
		_tmp24_ = width;
		_tmp25_ = height;
		book_view_layout_into (self, _tmp24_, _tmp25_, &_tmp26_, &_tmp27_);
		book_width = _tmp26_;
		book_height = _tmp27_;
		_tmp28_ = self->priv->adjustment;
		gtk_adjustment_set_lower (_tmp28_, (gdouble) 0);
		_tmp29_ = self->priv->adjustment;
		_tmp30_ = book_width;
		gtk_adjustment_set_upper (_tmp29_, (gdouble) _tmp30_);
		_tmp31_ = self->priv->adjustment;
		_tmp32_ = allocation;
		_tmp33_ = _tmp32_.width;
		gtk_adjustment_set_page_size (_tmp31_, (gdouble) _tmp33_);
		_tmp34_ = book_width;
		_tmp35_ = allocation;
		_tmp36_ = _tmp35_.width;
		max_offset = _tmp34_ - _tmp36_;
		_tmp38_ = right_aligned;
		if (_tmp38_) {
			_tmp37_ = TRUE;
		} else {
			gint _tmp39_ = 0;
			gint _tmp40_;
			_tmp39_ = book_view_get_x_offset (self);
			_tmp40_ = max_offset;
			_tmp37_ = _tmp39_ > _tmp40_;
		}
		_tmp41_ = _tmp37_;
		if (_tmp41_) {
			gint _tmp42_;
			_tmp42_ = max_offset;
			book_view_set_x_offset (self, _tmp42_);
		}
		_tmp43_ = self->priv->scroll;
		gtk_widget_show ((GtkWidget*) _tmp43_);
	} else {
		GtkHScrollbar* _tmp44_;
		gint _tmp45_;
		GtkAllocation _tmp46_;
		gint _tmp47_;
		gint offset;
		GtkAdjustment* _tmp48_;
		gint _tmp49_;
		GtkAdjustment* _tmp50_;
		gint _tmp51_;
		GtkAdjustment* _tmp52_;
		gint _tmp53_;
		_tmp44_ = self->priv->scroll;
		gtk_widget_hide ((GtkWidget*) _tmp44_);
		_tmp45_ = book_width;
		_tmp46_ = allocation;
		_tmp47_ = _tmp46_.width;
		offset = (_tmp45_ - _tmp47_) / 2;
		_tmp48_ = self->priv->adjustment;
		_tmp49_ = offset;
		gtk_adjustment_set_lower (_tmp48_, (gdouble) _tmp49_);
		_tmp50_ = self->priv->adjustment;
		_tmp51_ = offset;
		gtk_adjustment_set_upper (_tmp50_, (gdouble) _tmp51_);
		_tmp52_ = self->priv->adjustment;
		gtk_adjustment_set_page_size (_tmp52_, (gdouble) 0);
		_tmp53_ = offset;
		book_view_set_x_offset (self, _tmp53_);
	}
	_tmp54_ = self->priv->show_selected_page;
	if (_tmp54_) {
		PageView* _tmp55_;
		_tmp55_ = self->priv->selected_page;
		book_view_show_page_view (self, _tmp55_);
	}
	self->priv->need_layout = FALSE;
	self->priv->show_selected_page = FALSE;
	self->priv->laying_out = FALSE;
}


static gboolean book_view_draw_cb (BookView* self, GtkWidget* widget, cairo_t* context) {
	gboolean result = FALSE;
	Book* _tmp0_;
	guint _tmp1_ = 0U;
	gdouble left = 0.0;
	gdouble top = 0.0;
	gdouble right = 0.0;
	gdouble bottom = 0.0;
	cairo_t* _tmp2_;
	gdouble _tmp3_ = 0.0;
	gdouble _tmp4_ = 0.0;
	gdouble _tmp5_ = 0.0;
	gdouble _tmp6_ = 0.0;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (context != NULL, FALSE);
	_tmp0_ = self->priv->book;
	_tmp1_ = book_get_n_pages (_tmp0_);
	if (_tmp1_ == ((guint) 0)) {
		result = FALSE;
		return result;
	}
	book_view_layout (self);
	_tmp2_ = context;
	cairo_clip_extents (_tmp2_, &_tmp3_, &_tmp4_, &_tmp5_, &_tmp6_);
	left = _tmp3_;
	top = _tmp4_;
	right = _tmp5_;
	bottom = _tmp6_;
	{
		gint i;
		i = 0;
		{
			gboolean _tmp7_;
			_tmp7_ = TRUE;
			while (TRUE) {
				gboolean _tmp8_;
				gint _tmp10_;
				Book* _tmp11_;
				guint _tmp12_ = 0U;
				gint _tmp13_;
				PageView* _tmp14_ = NULL;
				PageView* page;
				PageView* _tmp15_;
				gint _tmp16_ = 0;
				gint _tmp17_ = 0;
				gint left_edge;
				PageView* _tmp18_;
				gint _tmp19_ = 0;
				PageView* _tmp20_;
				gint _tmp21_ = 0;
				gint _tmp22_ = 0;
				gint right_edge;
				gboolean _tmp23_ = FALSE;
				gint _tmp24_;
				gdouble _tmp25_;
				gboolean _tmp28_;
				cairo_t* _tmp29_;
				cairo_t* _tmp30_;
				gint _tmp31_ = 0;
				PageView* _tmp32_;
				cairo_t* _tmp33_;
				cairo_t* _tmp34_;
				PageView* _tmp35_;
				gboolean _tmp36_ = FALSE;
				_tmp8_ = _tmp7_;
				if (!_tmp8_) {
					gint _tmp9_;
					_tmp9_ = i;
					i = _tmp9_ + 1;
				}
				_tmp7_ = FALSE;
				_tmp10_ = i;
				_tmp11_ = self->priv->book;
				_tmp12_ = book_get_n_pages (_tmp11_);
				if (!(((guint) _tmp10_) < _tmp12_)) {
					break;
				}
				_tmp13_ = i;
				_tmp14_ = book_view_get_nth_page (self, _tmp13_);
				page = _tmp14_;
				_tmp15_ = page;
				_tmp16_ = page_view_get_x_offset (_tmp15_);
				_tmp17_ = book_view_get_x_offset (self);
				left_edge = _tmp16_ - _tmp17_;
				_tmp18_ = page;
				_tmp19_ = page_view_get_x_offset (_tmp18_);
				_tmp20_ = page;
				_tmp21_ = page_view_get_width (_tmp20_);
				_tmp22_ = book_view_get_x_offset (self);
				right_edge = (_tmp19_ + _tmp21_) - _tmp22_;
				_tmp24_ = right_edge;
				_tmp25_ = left;
				if (((gdouble) _tmp24_) < _tmp25_) {
					_tmp23_ = TRUE;
				} else {
					gint _tmp26_;
					gdouble _tmp27_;
					_tmp26_ = left_edge;
					_tmp27_ = right;
					_tmp23_ = ((gdouble) _tmp26_) > _tmp27_;
				}
				_tmp28_ = _tmp23_;
				if (_tmp28_) {
					_page_view_unref0 (page);
					continue;
				}
				_tmp29_ = context;
				cairo_save (_tmp29_);
				_tmp30_ = context;
				_tmp31_ = book_view_get_x_offset (self);
				cairo_translate (_tmp30_, (gdouble) (-_tmp31_), (gdouble) 0);
				_tmp32_ = page;
				_tmp33_ = context;
				page_view_render (_tmp32_, _tmp33_);
				_tmp34_ = context;
				cairo_restore (_tmp34_);
				_tmp35_ = page;
				_tmp36_ = page_view_get_selected (_tmp35_);
				if (_tmp36_) {
					GtkWidget* _tmp37_;
					GtkStyle* _tmp38_ = NULL;
					cairo_t* _tmp39_;
					PageView* _tmp40_;
					gint _tmp41_ = 0;
					gint _tmp42_ = 0;
					PageView* _tmp43_;
					gint _tmp44_ = 0;
					PageView* _tmp45_;
					gint _tmp46_ = 0;
					PageView* _tmp47_;
					gint _tmp48_ = 0;
					_tmp37_ = self->priv->drawing_area;
					_tmp38_ = gtk_widget_get_style (_tmp37_);
					_tmp39_ = context;
					_tmp40_ = page;
					_tmp41_ = page_view_get_x_offset (_tmp40_);
					_tmp42_ = book_view_get_x_offset (self);
					_tmp43_ = page;
					_tmp44_ = page_view_get_y_offset (_tmp43_);
					_tmp45_ = page;
					_tmp46_ = page_view_get_width (_tmp45_);
					_tmp47_ = page;
					_tmp48_ = page_view_get_height (_tmp47_);
					gtk_paint_focus (_tmp38_, _tmp39_, GTK_STATE_SELECTED, NULL, NULL, _tmp41_ - _tmp42_, _tmp44_, _tmp46_, _tmp48_);
				}
				_page_view_unref0 (page);
			}
		}
	}
	result = FALSE;
	return result;
}


static PageView* book_view_get_page_at (BookView* self, gint x, gint y, gint* x_, gint* y_) {
	gint _vala_x_ = 0;
	gint _vala_y_ = 0;
	PageView* result = NULL;
	g_return_val_if_fail (self != NULL, NULL);
	{
		gint i;
		i = 0;
		{
			gboolean _tmp0_;
			_tmp0_ = TRUE;
			while (TRUE) {
				gboolean _tmp1_;
				gint _tmp3_;
				Book* _tmp4_;
				guint _tmp5_ = 0U;
				gint _tmp6_;
				PageView* _tmp7_ = NULL;
				PageView* page;
				PageView* _tmp8_;
				gint _tmp9_ = 0;
				gint left;
				gint _tmp10_;
				PageView* _tmp11_;
				gint _tmp12_ = 0;
				gint right;
				PageView* _tmp13_;
				gint _tmp14_ = 0;
				gint top;
				gint _tmp15_;
				PageView* _tmp16_;
				gint _tmp17_ = 0;
				gint bottom;
				gboolean _tmp18_ = FALSE;
				gboolean _tmp19_ = FALSE;
				gboolean _tmp20_ = FALSE;
				gint _tmp21_;
				gint _tmp22_;
				gboolean _tmp25_;
				gboolean _tmp28_;
				gboolean _tmp31_;
				_tmp1_ = _tmp0_;
				if (!_tmp1_) {
					gint _tmp2_;
					_tmp2_ = i;
					i = _tmp2_ + 1;
				}
				_tmp0_ = FALSE;
				_tmp3_ = i;
				_tmp4_ = self->priv->book;
				_tmp5_ = book_get_n_pages (_tmp4_);
				if (!(((guint) _tmp3_) < _tmp5_)) {
					break;
				}
				_tmp6_ = i;
				_tmp7_ = book_view_get_nth_page (self, _tmp6_);
				page = _tmp7_;
				_tmp8_ = page;
				_tmp9_ = page_view_get_x_offset (_tmp8_);
				left = _tmp9_;
				_tmp10_ = left;
				_tmp11_ = page;
				_tmp12_ = page_view_get_width (_tmp11_);
				right = _tmp10_ + _tmp12_;
				_tmp13_ = page;
				_tmp14_ = page_view_get_y_offset (_tmp13_);
				top = _tmp14_;
				_tmp15_ = top;
				_tmp16_ = page;
				_tmp17_ = page_view_get_height (_tmp16_);
				bottom = _tmp15_ + _tmp17_;
				_tmp21_ = x;
				_tmp22_ = left;
				if (_tmp21_ >= _tmp22_) {
					gint _tmp23_;
					gint _tmp24_;
					_tmp23_ = x;
					_tmp24_ = right;
					_tmp20_ = _tmp23_ <= _tmp24_;
				} else {
					_tmp20_ = FALSE;
				}
				_tmp25_ = _tmp20_;
				if (_tmp25_) {
					gint _tmp26_;
					gint _tmp27_;
					_tmp26_ = y;
					_tmp27_ = top;
					_tmp19_ = _tmp26_ >= _tmp27_;
				} else {
					_tmp19_ = FALSE;
				}
				_tmp28_ = _tmp19_;
				if (_tmp28_) {
					gint _tmp29_;
					gint _tmp30_;
					_tmp29_ = y;
					_tmp30_ = bottom;
					_tmp18_ = _tmp29_ <= _tmp30_;
				} else {
					_tmp18_ = FALSE;
				}
				_tmp31_ = _tmp18_;
				if (_tmp31_) {
					gint _tmp32_;
					gint _tmp33_;
					gint _tmp34_;
					gint _tmp35_;
					_tmp32_ = x;
					_tmp33_ = left;
					_vala_x_ = _tmp32_ - _tmp33_;
					_tmp34_ = y;
					_tmp35_ = top;
					_vala_y_ = _tmp34_ - _tmp35_;
					result = page;
					if (x_) {
						*x_ = _vala_x_;
					}
					if (y_) {
						*y_ = _vala_y_;
					}
					return result;
				}
				_page_view_unref0 (page);
			}
		}
	}
	result = NULL;
	if (x_) {
		*x_ = _vala_x_;
	}
	if (y_) {
		*y_ = _vala_y_;
	}
	return result;
}


static gboolean book_view_button_cb (BookView* self, GtkWidget* widget, GdkEventButton* event) {
	gboolean result = FALSE;
	GtkWidget* _tmp0_;
	gint x;
	gint y;
	GdkEventButton _tmp1_;
	GdkEventType _tmp2_;
	PageView* _tmp12_;
	GdkEventButton _tmp13_;
	guint _tmp14_;
	GdkEventButton _tmp29_;
	guint _tmp30_;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (event != NULL, FALSE);
	book_view_layout (self);
	_tmp0_ = self->priv->drawing_area;
	gtk_widget_grab_focus (_tmp0_);
	x = 0;
	y = 0;
	_tmp1_ = *event;
	_tmp2_ = _tmp1_.type;
	if (_tmp2_ == GDK_BUTTON_PRESS) {
		GdkEventButton _tmp3_;
		gdouble _tmp4_;
		gint _tmp5_ = 0;
		GdkEventButton _tmp6_;
		gdouble _tmp7_;
		gint _tmp8_ = 0;
		gint _tmp9_ = 0;
		PageView* _tmp10_ = NULL;
		PageView* _tmp11_;
		_tmp3_ = *event;
		_tmp4_ = _tmp3_.x;
		_tmp5_ = book_view_get_x_offset (self);
		_tmp6_ = *event;
		_tmp7_ = _tmp6_.y;
		_tmp10_ = book_view_get_page_at (self, (gint) (_tmp4_ + _tmp5_), (gint) _tmp7_, &_tmp8_, &_tmp9_);
		x = _tmp8_;
		y = _tmp9_;
		_tmp11_ = _tmp10_;
		book_view_select_page_view (self, _tmp11_);
		_page_view_unref0 (_tmp11_);
	}
	_tmp12_ = self->priv->selected_page;
	if (_tmp12_ == NULL) {
		result = FALSE;
		return result;
	}
	_tmp13_ = *event;
	_tmp14_ = _tmp13_.button;
	if (_tmp14_ == ((guint) 1)) {
		GdkEventButton _tmp15_;
		GdkEventType _tmp16_;
		_tmp15_ = *event;
		_tmp16_ = _tmp15_.type;
		if (_tmp16_ == GDK_BUTTON_PRESS) {
			PageView* _tmp17_;
			gint _tmp18_;
			gint _tmp19_;
			_tmp17_ = self->priv->selected_page;
			_tmp18_ = x;
			_tmp19_ = y;
			page_view_button_press (_tmp17_, _tmp18_, _tmp19_);
		} else {
			GdkEventButton _tmp20_;
			GdkEventType _tmp21_;
			_tmp20_ = *event;
			_tmp21_ = _tmp20_.type;
			if (_tmp21_ == GDK_BUTTON_RELEASE) {
				PageView* _tmp22_;
				gint _tmp23_;
				gint _tmp24_;
				_tmp22_ = self->priv->selected_page;
				_tmp23_ = x;
				_tmp24_ = y;
				page_view_button_release (_tmp22_, _tmp23_, _tmp24_);
			} else {
				GdkEventButton _tmp25_;
				GdkEventType _tmp26_;
				_tmp25_ = *event;
				_tmp26_ = _tmp25_.type;
				if (_tmp26_ == GDK_2BUTTON_PRESS) {
					Page* _tmp27_ = NULL;
					Page* _tmp28_;
					_tmp27_ = book_view_get_selected (self);
					_tmp28_ = _tmp27_;
					g_signal_emit_by_name (self, "show-page", _tmp28_);
					_page_unref0 (_tmp28_);
				}
			}
		}
	}
	_tmp29_ = *event;
	_tmp30_ = _tmp29_.button;
	if (_tmp30_ == ((guint) 3)) {
		g_signal_emit_by_name (self, "show-menu");
	}
	result = FALSE;
	return result;
}


static void book_view_set_cursor (BookView* self, GdkCursorType cursor) {
	GdkCursor* c = NULL;
	GdkCursorType _tmp0_;
	GdkCursorType _tmp1_;
	GdkCursorType _tmp2_;
	GdkCursorType _tmp3_;
	GdkCursor* _tmp4_;
	GtkWidget* _tmp5_;
	GdkWindow* _tmp6_ = NULL;
	GdkCursor* _tmp7_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->cursor;
	_tmp1_ = cursor;
	if (_tmp0_ == _tmp1_) {
		_g_object_unref0 (c);
		return;
	}
	_tmp2_ = cursor;
	self->priv->cursor = _tmp2_;
	_tmp3_ = cursor;
	_tmp4_ = gdk_cursor_new (_tmp3_);
	_g_object_unref0 (c);
	c = _tmp4_;
	_tmp5_ = self->priv->drawing_area;
	_tmp6_ = gtk_widget_get_window (_tmp5_);
	_tmp7_ = c;
	gdk_window_set_cursor (_tmp6_, _tmp7_);
	_g_object_unref0 (c);
}


static gboolean book_view_motion_cb (BookView* self, GtkWidget* widget, GdkEventMotion* event) {
	gboolean result = FALSE;
	GdkCursorType cursor;
	gboolean _tmp0_ = FALSE;
	PageView* _tmp1_;
	gboolean _tmp4_;
	GdkCursorType _tmp33_;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (event != NULL, FALSE);
	cursor = GDK_ARROW;
	_tmp1_ = self->priv->selected_page;
	if (_tmp1_ != NULL) {
		GdkEventMotion _tmp2_;
		GdkModifierType _tmp3_;
		_tmp2_ = *event;
		_tmp3_ = _tmp2_.state;
		_tmp0_ = (_tmp3_ & GDK_BUTTON1_MASK) != 0;
	} else {
		_tmp0_ = FALSE;
	}
	_tmp4_ = _tmp0_;
	if (_tmp4_) {
		GdkEventMotion _tmp5_;
		gdouble _tmp6_;
		gint _tmp7_ = 0;
		PageView* _tmp8_;
		gint _tmp9_ = 0;
		gint x;
		GdkEventMotion _tmp10_;
		gdouble _tmp11_;
		PageView* _tmp12_;
		gint _tmp13_ = 0;
		gint y;
		PageView* _tmp14_;
		gint _tmp15_;
		gint _tmp16_;
		PageView* _tmp17_;
		GdkCursorType _tmp18_ = 0;
		_tmp5_ = *event;
		_tmp6_ = _tmp5_.x;
		_tmp7_ = book_view_get_x_offset (self);
		_tmp8_ = self->priv->selected_page;
		_tmp9_ = page_view_get_x_offset (_tmp8_);
		x = (gint) ((_tmp6_ + _tmp7_) - _tmp9_);
		_tmp10_ = *event;
		_tmp11_ = _tmp10_.y;
		_tmp12_ = self->priv->selected_page;
		_tmp13_ = page_view_get_y_offset (_tmp12_);
		y = (gint) (_tmp11_ - _tmp13_);
		_tmp14_ = self->priv->selected_page;
		_tmp15_ = x;
		_tmp16_ = y;
		page_view_motion (_tmp14_, _tmp15_, _tmp16_);
		_tmp17_ = self->priv->selected_page;
		_tmp18_ = page_view_get_cursor (_tmp17_);
		cursor = _tmp18_;
	} else {
		gint x = 0;
		gint y = 0;
		GdkEventMotion _tmp19_;
		gdouble _tmp20_;
		gint _tmp21_ = 0;
		GdkEventMotion _tmp22_;
		gdouble _tmp23_;
		gint _tmp24_ = 0;
		gint _tmp25_ = 0;
		PageView* _tmp26_ = NULL;
		PageView* over_page;
		PageView* _tmp27_;
		_tmp19_ = *event;
		_tmp20_ = _tmp19_.x;
		_tmp21_ = book_view_get_x_offset (self);
		_tmp22_ = *event;
		_tmp23_ = _tmp22_.y;
		_tmp26_ = book_view_get_page_at (self, (gint) (_tmp20_ + _tmp21_), (gint) _tmp23_, &_tmp24_, &_tmp25_);
		x = _tmp24_;
		y = _tmp25_;
		over_page = _tmp26_;
		_tmp27_ = over_page;
		if (_tmp27_ != NULL) {
			PageView* _tmp28_;
			gint _tmp29_;
			gint _tmp30_;
			PageView* _tmp31_;
			GdkCursorType _tmp32_ = 0;
			_tmp28_ = over_page;
			_tmp29_ = x;
			_tmp30_ = y;
			page_view_motion (_tmp28_, _tmp29_, _tmp30_);
			_tmp31_ = over_page;
			_tmp32_ = page_view_get_cursor (_tmp31_);
			cursor = _tmp32_;
		}
		_page_view_unref0 (over_page);
	}
	_tmp33_ = cursor;
	book_view_set_cursor (self, _tmp33_);
	result = FALSE;
	return result;
}


static gboolean book_view_key_cb (BookView* self, GtkWidget* widget, GdkEventKey* event) {
	gboolean result = FALSE;
	GdkEventKey _tmp0_;
	guint _tmp1_;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (event != NULL, FALSE);
	_tmp0_ = *event;
	_tmp1_ = _tmp0_.keyval;
	switch (_tmp1_) {
		case 0xff50:
		{
			Book* _tmp2_;
			Page* _tmp3_ = NULL;
			Page* _tmp4_;
			_tmp2_ = self->priv->book;
			_tmp3_ = book_get_page (_tmp2_, 0);
			_tmp4_ = _tmp3_;
			book_view_select_page (self, _tmp4_);
			_page_unref0 (_tmp4_);
			result = TRUE;
			return result;
		}
		case 0xff51:
		{
			PageView* _tmp5_;
			PageView* _tmp6_ = NULL;
			PageView* _tmp7_;
			_tmp5_ = self->priv->selected_page;
			_tmp6_ = book_view_get_prev_page (self, _tmp5_);
			_tmp7_ = _tmp6_;
			book_view_select_page_view (self, _tmp7_);
			_page_view_unref0 (_tmp7_);
			result = TRUE;
			return result;
		}
		case 0xff53:
		{
			PageView* _tmp8_;
			PageView* _tmp9_ = NULL;
			PageView* _tmp10_;
			_tmp8_ = self->priv->selected_page;
			_tmp9_ = book_view_get_next_page (self, _tmp8_);
			_tmp10_ = _tmp9_;
			book_view_select_page_view (self, _tmp10_);
			_page_view_unref0 (_tmp10_);
			result = TRUE;
			return result;
		}
		case 0xFF57:
		{
			Book* _tmp11_;
			Book* _tmp12_;
			guint _tmp13_ = 0U;
			Page* _tmp14_ = NULL;
			Page* _tmp15_;
			_tmp11_ = self->priv->book;
			_tmp12_ = self->priv->book;
			_tmp13_ = book_get_n_pages (_tmp12_);
			_tmp14_ = book_get_page (_tmp11_, ((gint) _tmp13_) - 1);
			_tmp15_ = _tmp14_;
			book_view_select_page (self, _tmp15_);
			_page_unref0 (_tmp15_);
			result = TRUE;
			return result;
		}
		default:
		{
			result = FALSE;
			return result;
		}
	}
}


static gboolean book_view_focus_cb (BookView* self, GtkWidget* widget, GdkEventFocus* event) {
	gboolean result = FALSE;
	PageView* _tmp0_;
	g_return_val_if_fail (self != NULL, FALSE);
	g_return_val_if_fail (widget != NULL, FALSE);
	g_return_val_if_fail (event != NULL, FALSE);
	_tmp0_ = self->priv->selected_page;
	book_view_set_selected_page (self, _tmp0_);
	result = FALSE;
	return result;
}


static void book_view_scroll_cb (BookView* self, GtkAdjustment* adjustment) {
	gboolean _tmp0_;
	g_return_if_fail (self != NULL);
	g_return_if_fail (adjustment != NULL);
	_tmp0_ = self->priv->laying_out;
	if (!_tmp0_) {
		book_view_redraw (self);
	}
}


void book_view_redraw (BookView* self) {
	GtkWidget* _tmp0_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->drawing_area;
	gtk_widget_queue_draw (_tmp0_);
}


void book_view_select_page (BookView* self, Page* page) {
	Page* _tmp0_ = NULL;
	Page* _tmp1_;
	Page* _tmp2_;
	gboolean _tmp3_;
	Page* _tmp4_;
	g_return_if_fail (self != NULL);
	_tmp0_ = book_view_get_selected (self);
	_tmp1_ = _tmp0_;
	_tmp2_ = page;
	_tmp3_ = _tmp1_ == _tmp2_;
	_page_unref0 (_tmp1_);
	if (_tmp3_) {
		return;
	}
	_tmp4_ = page;
	if (_tmp4_ != NULL) {
		GHashTable* _tmp5_;
		Page* _tmp6_;
		gconstpointer _tmp7_ = NULL;
		_tmp5_ = self->priv->page_data;
		_tmp6_ = page;
		_tmp7_ = g_hash_table_lookup (_tmp5_, _tmp6_);
		book_view_select_page_view (self, (PageView*) _tmp7_);
	} else {
		book_view_select_page_view (self, NULL);
	}
}


void book_view_select_next_page (BookView* self) {
	PageView* _tmp0_;
	PageView* _tmp1_ = NULL;
	PageView* _tmp2_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->selected_page;
	_tmp1_ = book_view_get_next_page (self, _tmp0_);
	_tmp2_ = _tmp1_;
	book_view_select_page_view (self, _tmp2_);
	_page_view_unref0 (_tmp2_);
}


void book_view_select_prev_page (BookView* self) {
	PageView* _tmp0_;
	PageView* _tmp1_ = NULL;
	PageView* _tmp2_;
	g_return_if_fail (self != NULL);
	_tmp0_ = self->priv->selected_page;
	_tmp1_ = book_view_get_prev_page (self, _tmp0_);
	_tmp2_ = _tmp1_;
	book_view_select_page_view (self, _tmp2_);
	_page_view_unref0 (_tmp2_);
}


Page* book_view_get_selected (BookView* self) {
	Page* result = NULL;
	PageView* _tmp0_;
	g_return_val_if_fail (self != NULL, NULL);
	_tmp0_ = self->priv->selected_page;
	if (_tmp0_ != NULL) {
		PageView* _tmp1_;
		Page* _tmp2_ = NULL;
		_tmp1_ = self->priv->selected_page;
		_tmp2_ = page_view_get_page (_tmp1_);
		result = _tmp2_;
		return result;
	} else {
		result = NULL;
		return result;
	}
}


static void g_cclosure_user_marshal_VOID__PAGE (GClosure * closure, GValue * return_value, guint n_param_values, const GValue * param_values, gpointer invocation_hint, gpointer marshal_data) {
	typedef void (*GMarshalFunc_VOID__PAGE) (gpointer data1, gpointer arg_1, gpointer data2);
	register GMarshalFunc_VOID__PAGE callback;
	register GCClosure * cc;
	register gpointer data1;
	register gpointer data2;
	cc = (GCClosure *) closure;
	g_return_if_fail (n_param_values == 2);
	if (G_CCLOSURE_SWAP_DATA (closure)) {
		data1 = closure->data;
		data2 = param_values->data[0].v_pointer;
	} else {
		data1 = param_values->data[0].v_pointer;
		data2 = closure->data;
	}
	callback = (GMarshalFunc_VOID__PAGE) (marshal_data ? marshal_data : cc->callback);
	callback (data1, value_get_page (param_values + 1), data2);
}


static void book_view_class_init (BookViewClass * klass) {
	book_view_parent_class = g_type_class_peek_parent (klass);
	g_type_class_add_private (klass, sizeof (BookViewPrivate));
	G_OBJECT_CLASS (klass)->finalize = book_view_finalize;
	g_signal_new ("page_selected", TYPE_BOOK_VIEW, G_SIGNAL_RUN_LAST, 0, NULL, NULL, g_cclosure_user_marshal_VOID__PAGE, G_TYPE_NONE, 1, TYPE_PAGE);
	g_signal_new ("show_page", TYPE_BOOK_VIEW, G_SIGNAL_RUN_LAST, 0, NULL, NULL, g_cclosure_user_marshal_VOID__PAGE, G_TYPE_NONE, 1, TYPE_PAGE);
	g_signal_new ("show_menu", TYPE_BOOK_VIEW, G_SIGNAL_RUN_LAST, 0, NULL, NULL, g_cclosure_marshal_VOID__VOID, G_TYPE_NONE, 0);
}


static void book_view_instance_init (BookView * self) {
	self->priv = BOOK_VIEW_GET_PRIVATE (self);
	self->priv->selected_page = NULL;
}


static void book_view_finalize (GObject* obj) {
	BookView * self;
	self = BOOK_VIEW (obj);
	_book_unref0 (self->priv->book);
	_g_hash_table_unref0 (self->priv->page_data);
	_page_view_unref0 (self->priv->selected_page);
	_g_object_unref0 (self->priv->drawing_area);
	_g_object_unref0 (self->priv->scroll);
	_g_object_unref0 (self->priv->adjustment);
	G_OBJECT_CLASS (book_view_parent_class)->finalize (obj);
}


GType book_view_get_type (void) {
	static volatile gsize book_view_type_id__volatile = 0;
	if (g_once_init_enter (&book_view_type_id__volatile)) {
		static const GTypeInfo g_define_type_info = { sizeof (BookViewClass), (GBaseInitFunc) NULL, (GBaseFinalizeFunc) NULL, (GClassInitFunc) book_view_class_init, (GClassFinalizeFunc) NULL, NULL, sizeof (BookView), 0, (GInstanceInitFunc) book_view_instance_init, NULL };
		GType book_view_type_id;
		book_view_type_id = g_type_register_static (GTK_TYPE_VBOX, "BookView", &g_define_type_info, 0);
		g_once_init_leave (&book_view_type_id__volatile, book_view_type_id);
	}
	return book_view_type_id__volatile;
}