From 47b0592c730a7a467098922814faf60726be4fa8 Mon Sep 17 00:00:00 2001
From: Thorsten Ball <mrnugget@gmail.com>
Date: Wed, 13 Dec 2023 05:38:34 +0100
Subject: [PATCH] gtk: use f64 everywhere instead of i16/f16/c_int

---
 src/apprt/gtk/Split.zig   | 13 +++++--------
 src/apprt/gtk/Surface.zig |  2 +-
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/src/apprt/gtk/Split.zig b/src/apprt/gtk/Split.zig
index 8cbc43090..af44bc758 100644
--- a/src/apprt/gtk/Split.zig
+++ b/src/apprt/gtk/Split.zig
@@ -178,27 +178,24 @@ pub fn moveDivider(self: *Split, direction: input.SplitResizeDirection, amount:
 /// It works recursively by equalizing the children of each split.
 ///
 /// It returns this split's weight.
-pub fn equalize(self: *Split) i16 {
+pub fn equalize(self: *Split) f64 {
     // Calculate weights of top_left/bottom_right
     const top_left_weight = self.top_left.equalize();
     const bottom_right_weight = self.bottom_right.equalize();
     const weight = top_left_weight + bottom_right_weight;
 
     // Ratio of top_left weight to overall weight, which gives the split ratio
-    const ratio = @as(f16, @floatFromInt(top_left_weight)) / @as(f16, @floatFromInt(weight));
+    const ratio = top_left_weight / weight;
 
     // Convert split ratio into new position for divider
-    const max: f16 = @floatFromInt(self.maxPosition());
-    const new: c_int = @intFromFloat(max * ratio);
-
-    c.gtk_paned_set_position(self.paned, new);
+    c.gtk_paned_set_position(self.paned, @intFromFloat(self.maxPosition() * ratio));
 
     return weight;
 }
 
 // maxPosition returns the maximum position of the GtkPaned, which is the
 // "max-position" attribute.
-fn maxPosition(self: *Split) c_int {
+fn maxPosition(self: *Split) f64 {
     var value: c.GValue = std.mem.zeroes(c.GValue);
     defer c.g_value_unset(&value);
 
@@ -209,7 +206,7 @@ fn maxPosition(self: *Split) c_int {
         &value,
     );
 
-    return c.g_value_get_int(&value);
+    return @floatFromInt(c.g_value_get_int(&value));
 }
 
 // This replaces the element at the given pointer with a new element.
diff --git a/src/apprt/gtk/Surface.zig b/src/apprt/gtk/Surface.zig
index 9233110e5..80180b543 100644
--- a/src/apprt/gtk/Surface.zig
+++ b/src/apprt/gtk/Surface.zig
@@ -96,7 +96,7 @@ pub const Container = union(enum) {
             }
         }
 
-        pub fn equalize(self: Elem) i16 {
+        pub fn equalize(self: Elem) f64 {
             return switch (self) {
                 .surface => 1,
                 .split => |s| s.equalize(),