summaryrefslogtreecommitdiff
path: root/src/page-view.vala
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 18:18:19 +0200
committerJörg Frings-Fürst <debian@jff-webhosting.net>2014-07-23 18:18:19 +0200
commitcce8437bfbdb21e2b97025de6721c78f6d4654fc (patch)
tree3254cbee0a3ab39757bb7a1972faa884127f33cd /src/page-view.vala
parenta366a6feda133b888da763569953636c90017f57 (diff)
Imported Upstream version 3.13.4.2upstream/3.13.4.2
Diffstat (limited to 'src/page-view.vala')
-rw-r--r--src/page-view.vala76
1 files changed, 37 insertions, 39 deletions
diff --git a/src/page-view.vala b/src/page-view.vala
index 7ea2082..c982c4b 100644
--- a/src/page-view.vala
+++ b/src/page-view.vala
@@ -57,8 +57,8 @@ public class PageView
private int scan_line;
/* Dimensions of image to generate */
- private int width;
- private int height;
+ private int width_;
+ private int height_;
/* Location to place this page */
public int x_offset { get; set; }
@@ -475,7 +475,7 @@ public class PageView
unowned uchar[] output = output_image.get_pixels ();
var output_rowstride = output_image.rowstride;
- var output_n_channels = output_image.get_n_channels ();
+ var output_n_channels = output_image.n_channels;
if (!page.has_data)
{
@@ -508,12 +508,12 @@ public class PageView
private int get_preview_width ()
{
- return width - border_width * 2;
+ return width_ - border_width * 2;
}
private int get_preview_height ()
{
- return height - border_width * 2;
+ return height_ - border_width * 2;
}
private void update_page_view ()
@@ -836,8 +836,8 @@ public class PageView
context.set_line_width (border_width);
context.rectangle ((double)border_width / 2,
(double)border_width / 2,
- width - border_width,
- height - border_width);
+ width_ - border_width,
+ height_ - border_width);
context.stroke ();
/* Draw image */
@@ -949,48 +949,46 @@ public class PageView
}
}
- public void set_width (int width)
+ public int width
{
- // FIXME: Automatically update when get updated image
- var height = (int) ((double)width * page.height / page.width);
- if (this.width == width && this.height == height)
- return;
+ get { return width_; }
+ set
+ {
+ // FIXME: Automatically update when get updated image
+ var h = (int) ((double) value * page.height / page.width);
+ if (width_ == value && height_ == h)
+ return;
- this.width = width;
- this.height = height;
+ width_ = value;
+ height_ = h;
- /* Regenerate image */
- update_image = true;
+ /* Regenerate image */
+ update_image = true;
- size_changed ();
- changed ();
+ size_changed ();
+ changed ();
+ }
}
- public void set_height (int height)
+ public int height
{
- // FIXME: Automatically update when get updated image
- var width = (int) ((double)height * page.width / page.height);
- if (this.width == width && this.height == height)
- return;
-
- this.width = width;
- this.height = height;
-
- /* Regenerate image */
- update_image = true;
+ get { return height_; }
+ set
+ {
+ // FIXME: Automatically update when get updated image
+ var w = (int) ((double) value * page.width / page.height);
+ if (width_ == w && height_ == value)
+ return;
- size_changed ();
- changed ();
- }
+ width_ = w;
+ height_ = value;
- public int get_width ()
- {
- return width;
- }
+ /* Regenerate image */
+ update_image = true;
- public int get_height ()
- {
- return height;
+ size_changed ();
+ changed ();
+ }
}
private void page_pixels_changed_cb (Page p)