using Gtk; public class Dino.Ui.NaturalSizeIncrease : Gtk.Widget { public uint min_natural_height { get; set; default = 0; } public uint min_natural_width { get; set; default = 0; } construct { this.notify.connect(queue_resize); check_widget_leak(this); } public override void compute_expand_internal(out bool hexpand, out bool vexpand) { hexpand = false; vexpand = false; Widget child = get_first_child(); while (child != null) { hexpand = hexpand || child.compute_expand(Orientation.HORIZONTAL); vexpand = vexpand || child.compute_expand(Orientation.VERTICAL); child = child.get_next_sibling(); } } public override void measure(Orientation orientation, int for_size, out int minimum, out int natural, out int minimum_baseline, out int natural_baseline) { minimum = 0; if (orientation == Orientation.HORIZONTAL) { natural = (int) min_natural_width; } else { natural = (int) min_natural_height; } minimum_baseline = -1; natural_baseline = -1; Widget child = 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, for_size, out child_min, out child_nat, out child_min_baseline, out child_nat_baseline); minimum = int.max(minimum, child_min); natural = int.max(natural, child_nat); if (child_min_baseline > 0) { minimum_baseline = int.max(minimum_baseline, child_min_baseline); } if (child_nat_baseline > 0) { natural_baseline = int.max(natural_baseline, child_nat_baseline); } } child = child.get_next_sibling(); } } public override void size_allocate(int width, int height, int baseline) { Widget child = 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() { Widget child = get_first_child(); if (child != null) { return child.get_request_mode(); } return SizeRequestMode.CONSTANT_SIZE; } public override void dispose() { var child = this.get_first_child(); if (child != null) child.unparent(); } }