From dca0ddb7e1ecc725952f48669c66c6f4a469cd03 Mon Sep 17 00:00:00 2001 From: Nathan Fisher Date: Thu, 28 Sep 2023 00:10:07 -0400 Subject: [PATCH] (Gtk) Set tab labels to fill the available space, so that they will divide up the avialable horizontal area instead of leaving a large empty space in the tab bar. --- src/apprt/gtk/Window.zig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/apprt/gtk/Window.zig b/src/apprt/gtk/Window.zig index 947088723..4ab169b1d 100644 --- a/src/apprt/gtk/Window.zig +++ b/src/apprt/gtk/Window.zig @@ -203,8 +203,12 @@ pub fn newTab(self: *Window, parent_: ?*CoreSurface) !void { // Build our tab label const label_box_widget = c.gtk_box_new(c.GTK_ORIENTATION_HORIZONTAL, 0); + c.gtk_widget_set_hexpand(label_box_widget, 1); + c.gtk_widget_set_halign(label_box_widget, c.GTK_ALIGN_FILL); const label_box = @as(*c.GtkBox, @ptrCast(label_box_widget)); const label_text = c.gtk_label_new("Ghostty"); + c.gtk_widget_set_hexpand(label_text, 1); + c.gtk_widget_set_halign(label_text, c.GTK_ALIGN_FILL); c.gtk_box_append(label_box, label_text); const label_close_widget = c.gtk_button_new_from_icon_name("window-close");