Scale files and images to the available space

2 files changed, 126 insertions, 0 deletions

diff --git a/main/src/ui/util/scaling_image.vala b/main/src/ui/util/scaling_image.vala
new file mode 100644
index 00000000..276cc25c
--- /dev/null
+++ b/main/src/ui/util/scaling_image.vala
@@ -0,0 +1,91 @@
+using Gdk;
+using Gtk;
+
+namespace Dino.Ui {
+class ScalingImage : Image {
+    public int min_width { get; set; default = -1; }
+    public int target_width { get; set; default = -1; }
+    public int max_width { get; set; default = -1; }
+    public int min_height { get; set; default = -1; }
+    public int max_height { get; set; default = -1; }
+
+    private Pixbuf image;
+    private double image_ratio;
+    private int image_height = 0;
+    private int image_width = 0;
+    private int last_allocation_height = -1;
+    private int last_allocation_width = -1;
+    private int last_scale_factor = -1;
+
+    public void load(Pixbuf image) {
+        this.image = image;
+        this.image_ratio = ((double)image.height) / ((double)image.width);
+        this.image_height = image.height;
+        this.image_width = image.width;
+        queue_resize();
+    }
+
+    public override void size_allocate(Allocation allocation) {
+        if (max_width != -1) allocation.width = int.min(allocation.width, max_width);
+        if (max_height != -1) allocation.height = int.min(allocation.height, max_height);
+        allocation.height = int.min(allocation.height, (int)(allocation.width * image_ratio));
+        allocation.width = int.min(allocation.width, (int)(allocation.height / image_ratio));
+        base.size_allocate(allocation);
+        if (last_allocation_height != allocation.height || last_allocation_width != allocation.width || last_scale_factor != scale_factor) {
+            last_allocation_height = allocation.height;
+            last_allocation_width = allocation.width;
+            last_scale_factor = scale_factor;
+            Pixbuf scaled = image.scale_simple(allocation.width * scale_factor, allocation.height * scale_factor, Gdk.InterpType.BILINEAR);
+            scaled = crop_corners(scaled, 3 * scale_factor);
+            Util.image_set_from_scaled_pixbuf(this, scaled);
+        }
+    }
+
+    private static Gdk.Pixbuf crop_corners(Gdk.Pixbuf pixbuf, double radius = 3) {
+        Cairo.Context ctx = new Cairo.Context(new Cairo.ImageSurface(Cairo.Format.ARGB32, pixbuf.width, pixbuf.height));
+        Gdk.cairo_set_source_pixbuf(ctx, pixbuf, 0, 0);
+        double degrees = Math.PI / 180.0;
+        ctx.new_sub_path();
+        ctx.arc(pixbuf.width - radius, radius, radius, -90 * degrees, 0 * degrees);
+        ctx.arc(pixbuf.width - radius, pixbuf.height - radius, radius, 0 * degrees, 90 * degrees);
+        ctx.arc(radius, pixbuf.height - radius, radius, 90 * degrees, 180 * degrees);
+        ctx.arc(radius, radius, radius, 180 * degrees, 270 * degrees);
+        ctx.close_path();
+        ctx.clip();
+        ctx.paint();
+        return Gdk.pixbuf_get_from_surface(ctx.get_target(), 0, 0, pixbuf.width, pixbuf.height);
+    }
+
+    public override void get_preferred_width(out int minimum_width, out int natural_width) {
+        minimum_width = int.max(0, min_width);
+        natural_width = target_width != -1 ? target_width : (image_width / scale_factor);
+        natural_width = int.min(natural_width, max_width);
+        if (natural_width * image_ratio > max_height) {
+            natural_width = (int) (max_height / image_ratio);
+        }
+    }
+
+    public override void get_preferred_height(out int minimum_height, out int natural_height) {
+        minimum_height = int.max(0, min_height);
+        natural_height = (int) (target_width != -1 ? target_width * image_ratio : image_width / scale_factor);
+        natural_height = int.min(natural_height, max_height);
+        if (natural_height / image_ratio > max_width) {
+            natural_height = (int) (max_width * image_ratio);
+        }
+    }
+
+    public override void get_preferred_height_for_width(int width, out int minimum_height, out int natural_height) {
+        natural_height = (int) (width * image_ratio);
+        minimum_height = min_height != -1 ? int.min(min_height, natural_height) : natural_height;
+    }
+
+    public override void get_preferred_width_for_height(int height, out int minimum_width, out int natural_width) {
+        natural_width = (int) (height / image_ratio);
+        minimum_width = min_width != -1 ? int.min(min_width, natural_width) : natural_width;
+    }
+
+    public override SizeRequestMode get_request_mode() {
+        return SizeRequestMode.HEIGHT_FOR_WIDTH;
+    }
+}
+}
\ No newline at end of file
diff --git a/main/src/ui/util/sizing_bin.vala b/main/src/ui/util/sizing_bin.vala
new file mode 100644
index 00000000..b81ff7e3
--- /dev/null
+++ b/main/src/ui/util/sizing_bin.vala
@@ -0,0 +1,35 @@
+using Gtk;
+
+namespace Dino.Ui {
+class SizingBin : Bin {
+    public int min_width { get; set; default = -1; }
+    public int target_width { get; set; default = -1; }
+    public int max_width { get; set; default = -1; }
+    public int min_height { get; set; default = -1; }
+    public int target_height { get; set; default = -1; }
+    public int max_height { get; set; default = -1; }
+
+    public override void size_allocate(Allocation allocation) {
+        if (max_height != -1) allocation.height = int.min(allocation.height, max_height);
+        if (max_width != -1) allocation.width = int.min(allocation.width, max_width);
+        base.size_allocate(allocation);
+    }
+
+    public override void get_preferred_width(out int minimum_width, out int natural_width) {
+        base.get_preferred_width(out minimum_width, out natural_width);
+        if (min_width != -1) minimum_width = int.max(minimum_width, min_width);
+        if (max_width != -1) natural_width = int.min(natural_width, max_width);
+        if (target_width != -1) natural_width = int.max(natural_width, target_width);
+        natural_width = int.max(natural_width, minimum_width);
+    }
+
+    public override void get_preferred_height_for_width(int width, out int minimum_height, out int natural_height) {
+        base.get_preferred_height_for_width(width, out minimum_height, out natural_height);
+        if (min_height != -1) minimum_height = int.max(minimum_height, min_height);
+        if (max_height != -1) natural_height = int.min(natural_height, max_height);
+        if (target_height != -1) natural_height = int.max(natural_height, target_height);
+        natural_height = int.max(natural_height, minimum_height);
+    }
+
+}
+}
\ No newline at end of file