summaryrefslogtreecommitdiff
path: root/src/book-view.vala
diff options
context:
space:
mode:
authorAlessio Treglia <alessio@debian.org>2014-04-10 15:37:02 +0100
committerAlessio Treglia <alessio@debian.org>2014-04-10 15:37:02 +0100
commite9ca3b0060facd753744602a3baca5a1effdbd83 (patch)
tree5acbac3a3a7b195d9a5e2ef101f5758ff9201369 /src/book-view.vala
parent2d71d20a62ca8f6989d86db58ce64c7a862675dd (diff)
Imported Upstream version 3.12.0upstream/3.12.0
Diffstat (limited to 'src/book-view.vala')
-rw-r--r--src/book-view.vala225
1 files changed, 112 insertions, 113 deletions
diff --git a/src/book-view.vala b/src/book-view.vala
index 4796ec1..833e723 100644
--- a/src/book-view.vala
+++ b/src/book-view.vala
@@ -12,10 +12,10 @@
// FIXME: When scrolling, copy existing render sideways?
// FIXME: Only render pages that change and only the part that changed
-public class BookView : Gtk.VBox
+public class BookView : Gtk.Box
{
/* Book being rendered */
- private Book book;
+ public Book book { get; private set; }
private HashTable<Page, PageView> page_data;
/* True if the view needs to be laid out again */
@@ -24,7 +24,27 @@ public class BookView : Gtk.VBox
private bool show_selected_page;
/* Currently selected page */
- private PageView? selected_page = null;
+ private PageView? selected_page_view = null;
+ public Page? selected_page
+ {
+ get
+ {
+ if (selected_page_view != null)
+ return selected_page_view.page;
+ else
+ return null;
+ }
+ set
+ {
+ if (selected_page == value)
+ return;
+
+ if (value != null)
+ select_page_view (page_data.lookup (value));
+ else
+ select_page_view (null);
+ }
+ }
/* Widget being rendered to */
private Gtk.Widget drawing_area;
@@ -39,18 +59,31 @@ public class BookView : Gtk.VBox
public signal void show_page (Page page);
public signal void show_menu ();
+ public int x_offset
+ {
+ get
+ {
+ return (int) adjustment.get_value ();
+ }
+ set
+ {
+ adjustment.set_value (value);
+ }
+ }
+
public BookView (Book book)
{
+ GLib.Object (orientation: Gtk.Orientation.VERTICAL);
this.book = book;
/* Load existing pages */
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
Page page = book.get_page (i);
add_cb (book, page);
}
- select_page (book.get_page (0));
+ selected_page = book.get_page (0);
/* Watch for new pages */
book.page_added.connect (add_cb);
@@ -115,7 +148,7 @@ public class BookView : Gtk.VBox
var p = book.get_page (i);
if (p == null)
break;
- if (p == page.get_page ())
+ if (p == page.page)
{
p = book.get_page (i + 1);
if (p != null)
@@ -134,7 +167,7 @@ public class BookView : Gtk.VBox
var p = book.get_page (i);
if (p == null)
break;
- if (p == page.get_page ())
+ if (p == page.page)
return prev_page;
prev_page = page_data.lookup (p);
}
@@ -163,31 +196,21 @@ public class BookView : Gtk.VBox
redraw ();
}
- private void set_selected_page (PageView? page)
+ private void set_selected_page_view (PageView? page)
{
/* Deselect existing page if changed */
- if (selected_page != null && page != selected_page)
- selected_page.set_selected (false);
+ if (selected_page_view != null && page != selected_page_view)
+ selected_page_view.selected = true;
- selected_page = page;
- if (selected_page == null)
+ selected_page_view = page;
+ if (selected_page_view == null)
return;
/* Select new page if widget has focus */
if (!drawing_area.has_focus)
- selected_page.set_selected (false);
+ selected_page_view.selected = false;
else
- selected_page.set_selected (true);
- }
-
- private void set_x_offset (int offset)
- {
- adjustment.set_value (offset);
- }
-
- private int get_x_offset ()
- {
- return (int) adjustment.get_value ();
+ selected_page_view.selected = true;
}
private void show_page_view (PageView? page)
@@ -197,23 +220,23 @@ public class BookView : Gtk.VBox
Gtk.Allocation allocation;
drawing_area.get_allocation (out allocation);
- var left_edge = page.get_x_offset ();
- var right_edge = page.get_x_offset () + page.get_width ();
+ var left_edge = page.x_offset;
+ var right_edge = page.x_offset + page.get_width ();
- if (left_edge - get_x_offset () < 0)
- set_x_offset (left_edge);
- else if (right_edge - get_x_offset () > allocation.width)
- set_x_offset (right_edge - allocation.width);
+ if (left_edge - x_offset < 0)
+ x_offset = left_edge;
+ else if (right_edge - x_offset > allocation.width)
+ x_offset = right_edge - allocation.width;
}
private void select_page_view (PageView? page)
{
Page? p = null;
- if (selected_page == page)
+ if (selected_page_view == page)
return;
- set_selected_page (page);
+ set_selected_page_view (page);
if (need_layout)
show_selected_page = true;
@@ -221,21 +244,21 @@ public class BookView : Gtk.VBox
show_page_view (page);
if (page != null)
- p = page.get_page ();
+ p = page.page;
page_selected (p);
}
private void remove_cb (Book book, Page page)
{
- PageView new_selection = selected_page;
+ PageView new_selection = selected_page_view;
/* Select previous page or next if removing the selected page */
- if (page == get_selected ())
+ if (page == selected_page)
{
- new_selection = get_prev_page (selected_page);
- if (new_selection == selected_page)
- new_selection = get_next_page (selected_page);
- selected_page = null;
+ new_selection = get_prev_page (selected_page_view);
+ if (new_selection == selected_page_view)
+ new_selection = get_next_page (selected_page_view);
+ selected_page_view = null;
}
var page_view = page_data.lookup (page);
@@ -258,17 +281,12 @@ public class BookView : Gtk.VBox
private void clear_cb (Book book)
{
page_data.remove_all ();
- selected_page = null;
+ selected_page_view = null;
page_selected (null);
need_layout = true;
redraw ();
}
- public Book get_book ()
- {
- return book;
- }
-
private bool configure_cb (Gtk.Widget widget, Gdk.EventConfigure event)
{
need_layout = true;
@@ -279,24 +297,24 @@ public class BookView : Gtk.VBox
{
/* Get maximum page resolution */
int max_dpi = 0;
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = book.get_page (i);
- if (page.get_dpi () > max_dpi)
- max_dpi = page.get_dpi ();
+ if (page.dpi > max_dpi)
+ max_dpi = page.dpi;
}
/* Get area required to fit all pages */
int max_width = 0, max_height = 0;
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = book.get_page (i);
- var w = page.get_width ();
- var h = page.get_height ();
+ var w = page.width;
+ var h = page.height;
/* Scale to the same DPI */
- w = (int) ((double)w * max_dpi / page.get_dpi () + 0.5);
- h = (int) ((double)h * max_dpi / page.get_dpi () + 0.5);
+ w = (int) ((double)w * max_dpi / page.dpi + 0.5);
+ h = (int) ((double)h * max_dpi / page.dpi + 0.5);
if (w > max_width)
max_width = w;
@@ -311,22 +329,22 @@ public class BookView : Gtk.VBox
int spacing = 12;
book_width = 0;
book_height = 0;
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = get_nth_page (i);
- var p = page.get_page ();
+ var p = page.page;
/* NOTE: Using double to avoid overflow for large images */
if (max_aspect > aspect)
{
/* Set width scaled on DPI and maximum width */
- int w = (int) ((double)p.get_width () * max_dpi * width / (p.get_dpi () * max_width));
+ int w = (int) ((double)p.width * max_dpi * width / (p.dpi * max_width));
page.set_width (w);
}
else
{
/* Set height scaled on DPI and maximum height */
- int h = (int) ((double)p.get_height () * max_dpi * height / (p.get_dpi () * max_height));
+ int h = (int) ((double)p.height * max_dpi * height / (p.dpi * max_height));
page.set_height (h);
}
@@ -339,16 +357,16 @@ public class BookView : Gtk.VBox
}
int x_offset = 0;
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = get_nth_page (i);
/* Layout pages left to right */
- page.set_x_offset (x_offset);
+ page.x_offset = x_offset;
x_offset += page.get_width () + spacing;
/* Centre page vertically */
- page.set_y_offset ((height - page.get_height ()) / 2);
+ page.y_offset = (height - page.get_height ()) / 2;
}
}
@@ -389,8 +407,8 @@ public class BookView : Gtk.VBox
/* Keep right-aligned */
var max_offset = book_width - allocation.width;
- if (right_aligned || get_x_offset () > max_offset)
- set_x_offset(max_offset);
+ if (right_aligned || x_offset > max_offset)
+ x_offset = max_offset;
scroll.show ();
}
@@ -401,11 +419,11 @@ public class BookView : Gtk.VBox
adjustment.set_lower (offset);
adjustment.set_upper (offset);
adjustment.set_page_size (0);
- set_x_offset (offset);
+ x_offset = offset;
}
if (show_selected_page)
- show_page_view (selected_page);
+ show_page_view (selected_page_view);
need_layout = false;
show_selected_page = false;
@@ -414,7 +432,7 @@ public class BookView : Gtk.VBox
private bool draw_cb (Gtk.Widget widget, Cairo.Context context)
{
- if (book.get_n_pages () == 0)
+ if (book.n_pages == 0)
return false;
layout ();
@@ -423,25 +441,25 @@ public class BookView : Gtk.VBox
context.clip_extents (out left, out top, out right, out bottom);
/* Render each page */
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = get_nth_page (i);
- var left_edge = page.get_x_offset () - get_x_offset ();
- var right_edge = page.get_x_offset () + page.get_width () - get_x_offset ();
+ var left_edge = page.x_offset - x_offset;
+ var right_edge = page.x_offset + page.get_width () - x_offset;
/* Page not visible, don't render */
if (right_edge < left || left_edge > right)
continue;
context.save ();
- context.translate (-get_x_offset (), 0);
+ context.translate (-x_offset, 0);
page.render (context);
context.restore ();
- if (page.get_selected ())
+ if (page.selected)
drawing_area.get_style_context ().render_focus (context,
- page.get_x_offset () - get_x_offset (),
- page.get_y_offset (),
+ page.x_offset - x_offset,
+ page.y_offset,
page.get_width (),
page.get_height ());
}
@@ -452,12 +470,12 @@ public class BookView : Gtk.VBox
private PageView? get_page_at (int x, int y, out int x_, out int y_)
{
x_ = y_ = 0;
- for (var i = 0; i < book.get_n_pages (); i++)
+ for (var i = 0; i < book.n_pages; i++)
{
var page = get_nth_page (i);
- var left = page.get_x_offset ();
+ var left = page.x_offset;
var right = left + page.get_width ();
- var top = page.get_y_offset ();
+ var top = page.y_offset;
var bottom = top + page.get_height ();
if (x >= left && x <= right && y >= top && y <= bottom)
{
@@ -478,20 +496,20 @@ public class BookView : Gtk.VBox
int x = 0, y = 0;
if (event.type == Gdk.EventType.BUTTON_PRESS)
- select_page_view (get_page_at ((int) (event.x + get_x_offset ()), (int) event.y, out x, out y));
+ select_page_view (get_page_at ((int) (event.x + x_offset), (int) event.y, out x, out y));
- if (selected_page == null)
+ if (selected_page_view == null)
return false;
/* Modify page */
if (event.button == 1)
{
if (event.type == Gdk.EventType.BUTTON_PRESS)
- selected_page.button_press (x, y);
+ selected_page_view.button_press (x, y);
else if (event.type == Gdk.EventType.BUTTON_RELEASE)
- selected_page.button_release (x, y);
+ selected_page_view.button_release (x, y);
else if (event.type == Gdk.EventType.2BUTTON_PRESS)
- show_page (get_selected ());
+ show_page (selected_page);
}
/* Show pop-up menu on right click */
@@ -518,21 +536,21 @@ public class BookView : Gtk.VBox
Gdk.CursorType cursor = Gdk.CursorType.ARROW;
/* Dragging */
- if (selected_page != null && (event.state & Gdk.ModifierType.BUTTON1_MASK) != 0)
+ if (selected_page_view != null && (event.state & Gdk.ModifierType.BUTTON1_MASK) != 0)
{
- var x = (int) (event.x + get_x_offset () - selected_page.get_x_offset ());
- var y = (int) (event.y - selected_page.get_y_offset ());
- selected_page.motion (x, y);
- cursor = selected_page.get_cursor ();
+ var x = (int) (event.x + x_offset - selected_page_view.x_offset);
+ var y = (int) (event.y - selected_page_view.y_offset);
+ selected_page_view.motion (x, y);
+ cursor = selected_page_view.cursor;
}
else
{
int x, y;
- var over_page = get_page_at ((int) (event.x + get_x_offset ()), (int) event.y, out x, out y);
+ var over_page = get_page_at ((int) (event.x + x_offset), (int) event.y, out x, out y);
if (over_page != null)
{
over_page.motion (x, y);
- cursor = over_page.get_cursor ();
+ cursor = over_page.cursor;
}
}
@@ -546,16 +564,16 @@ public class BookView : Gtk.VBox
switch (event.keyval)
{
case 0xff50: /* FIXME: GDK_Home */
- select_page (book.get_page (0));
+ selected_page = book.get_page (0);
return true;
case 0xff51: /* FIXME: GDK_Left */
- select_page_view (get_prev_page (selected_page));
+ select_page_view (get_prev_page (selected_page_view));
return true;
case 0xff53: /* FIXME: GDK_Right */
- select_page_view (get_next_page (selected_page));
+ select_page_view (get_next_page (selected_page_view));
return true;
case 0xFF57: /* FIXME: GDK_End */
- select_page (book.get_page ((int) book.get_n_pages () - 1));
+ selected_page = book.get_page ((int) book.n_pages - 1);
return true;
default:
@@ -565,7 +583,7 @@ public class BookView : Gtk.VBox
private bool focus_cb (Gtk.Widget widget, Gdk.EventFocus event)
{
- set_selected_page (selected_page);
+ set_selected_page_view (selected_page_view);
return false;
}
@@ -580,32 +598,13 @@ public class BookView : Gtk.VBox
drawing_area.queue_draw ();
}
- public void select_page (Page? page)
- {
- if (get_selected () == page)
- return;
-
- if (page != null)
- select_page_view (page_data.lookup (page));
- else
- select_page_view (null);
- }
-
public void select_next_page ()
{
- select_page_view (get_next_page (selected_page));
+ select_page_view (get_next_page (selected_page_view));
}
public void select_prev_page ()
{
- select_page_view (get_prev_page (selected_page));
- }
-
- public Page? get_selected ()
- {
- if (selected_page != null)
- return selected_page.get_page ();
- else
- return null;
+ select_page_view (get_prev_page (selected_page_view));
}
}