diff options
Diffstat (limited to 'src/page-view.vala')
| -rw-r--r-- | src/page-view.vala | 35 |
1 files changed, 1 insertions, 34 deletions
diff --git a/src/page-view.vala b/src/page-view.vala index abe5e69..91a2c82 100644 --- a/src/page-view.vala +++ b/src/page-view.vala @@ -36,7 +36,7 @@ public class PageView : Object public bool selected { get { return selected_; } - set + set { if ((this.selected && selected) || (!this.selected && !selected)) return; @@ -845,39 +845,6 @@ public class PageView : Object Gdk.cairo_set_source_pixbuf (context, image, 0, 0); context.paint (); - /* Draw throbber */ - if (page.is_scanning && !page.has_data) - { - double outer_radius; - if (w > h) - outer_radius = 0.15 * w; - else - outer_radius = 0.15 * h; - var arc = Math.PI / animate_n_segments; - - /* Space circles */ - var x = outer_radius * Math.sin (arc); - var y = outer_radius * (Math.cos (arc) - 1.0); - var inner_radius = 0.6 * Math.sqrt (x*x + y*y); - - double offset = 0.0; - for (var i = 0; i < animate_n_segments; i++, offset += arc * 2) - { - x = w / 2 + outer_radius * Math.sin (offset); - y = h / 2 - outer_radius * Math.cos (offset); - context.arc (x, y, inner_radius, 0, 2 * Math.PI); - - if (i == animate_segment) - { - context.set_source_rgb (0.75, 0.75, 0.75); - context.fill_preserve (); - } - - context.set_source_rgb (0.5, 0.5, 0.5); - context.stroke (); - } - } - /* Draw scan line */ if (page.is_scanning && page.scan_line > 0) { |