aboutsummaryrefslogtreecommitdiff
path: root/main/src/ui/util
diff options
context:
space:
mode:
Diffstat (limited to 'main/src/ui/util')
-rw-r--r--main/src/ui/util/scaling_image.vala131
1 files changed, 0 insertions, 131 deletions
diff --git a/main/src/ui/util/scaling_image.vala b/main/src/ui/util/scaling_image.vala
deleted file mode 100644
index d6ca31fd..00000000
--- a/main/src/ui/util/scaling_image.vala
+++ /dev/null
@@ -1,131 +0,0 @@
-using Gdk;
-using Gtk;
-
-namespace Dino.Ui {
-
-class FixedRatioLayout : Gtk.LayoutManager {
- public int min_width { get; set; default = 0; }
- public int target_width { get; set; default = -1; }
- public int max_width { get; set; default = int.MAX; }
- public int min_height { get; set; default = 0; }
- public int target_height { get; set; default = -1; }
- public int max_height { get; set; default = int.MAX; }
-
- public FixedRatioLayout() {
- this.notify.connect(layout_changed);
- }
-
- private void measure_target_size(Gtk.Widget widget, out int width, out int height) {
- if (target_width != -1 && target_height != -1) {
- width = target_width;
- height = target_height;
- return;
- }
- Widget child;
- width = min_width;
- height = min_height;
-
- child = widget.get_first_child();
- while (child != null) {
- if (child.should_layout()) {
- int child_min = 0;
- int child_nat = 0;
- int child_min_baseline = -1;
- int child_nat_baseline = -1;
- child.measure(Orientation.HORIZONTAL, -1, out child_min, out child_nat, out child_min_baseline, out child_nat_baseline);
- width = int.max(child_nat, width);
- }
- child = child.get_next_sibling();
- }
- width = int.min(width, max_width);
-
- child = widget.get_first_child();
- while (child != null) {
- if (child.should_layout()) {
- int child_min = 0;
- int child_nat = 0;
- int child_min_baseline = -1;
- int child_nat_baseline = -1;
- child.measure(Orientation.VERTICAL, width, out child_min, out child_nat, out child_min_baseline, out child_nat_baseline);
- height = int.max(child_nat, height);
- }
- child = child.get_next_sibling();
- }
-
- if (height > max_height) {
- height = max_height;
- width = min_width;
-
- child = widget.get_first_child();
- while (child != null) {
- if (child.should_layout()) {
- int child_min = 0;
- int child_nat = 0;
- int child_min_baseline = -1;
- int child_nat_baseline = -1;
- child.measure(Orientation.HORIZONTAL, max_height, out child_min, out child_nat, out child_min_baseline, out child_nat_baseline);
- width = int.max(child_nat, width);
- }
- child = child.get_next_sibling();
- }
- width = int.min(width, max_width);
- }
- }
-
- public override void measure(Gtk.Widget widget, Orientation orientation, int for_size, out int minimum, out int natural, out int minimum_baseline, out int natural_baseline) {
- minimum_baseline = -1;
- natural_baseline = -1;
- int width, height;
- measure_target_size(widget, out width, out height);
- if (orientation == Orientation.HORIZONTAL) {
- minimum = min_width;
- natural = width;
- } else if (for_size == -1) {
- minimum = min_height;
- natural = height;
- } else {
- minimum = natural = height * for_size / width;
- }
- }
-
- public override void allocate(Gtk.Widget widget, int width, int height, int baseline) {
- Widget child = widget.get_first_child();
- while (child != null) {
- if (child.should_layout()) {
- child.allocate(width, height, baseline, null);
- }
- child = child.get_next_sibling();
- }
- }
-
- public override SizeRequestMode get_request_mode(Gtk.Widget widget) {
- return SizeRequestMode.HEIGHT_FOR_WIDTH;
- }
-}
-
-class FixedRatioPicture : Gtk.Widget {
- public int min_width { get { return layout.min_width; } set { layout.min_width = value; } }
- public int target_width { get { return layout.target_width; } set { layout.target_width = value; } }
- public int max_width { get { return layout.max_width; } set { layout.max_width = value; } }
- public int min_height { get { return layout.min_height; } set { layout.min_height = value; } }
- public int target_height { get { return layout.target_height; } set { layout.target_height = value; } }
- public int max_height { get { return layout.max_height; } set { layout.max_height = value; } }
- public File file { get { return inner.file; } set { inner.file = value; } }
- public Gdk.Paintable paintable { get { return inner.paintable; } set { inner.paintable = value; } }
-#if GTK_4_8 && VALA_0_58
- public Gtk.ContentFit content_fit { get { return inner.content_fit; } set { inner.content_fit = value; } }
-#endif
- private Gtk.Picture inner = new Gtk.Picture();
- private FixedRatioLayout layout = new FixedRatioLayout();
-
- public FixedRatioPicture() {
- layout_manager = layout;
- inner.insert_after(this, null);
- }
-
- public override void dispose() {
- inner.unparent();
- base.dispose();
- }
-}
-} \ No newline at end of file