Scale files and images to the available space

1 files changed, 35 insertions, 0 deletions

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