From adf7c87cb2977cb2fa5c8a55a86269e3cef52a71 Mon Sep 17 00:00:00 2001
From: Maciej Bartczak <39600846+maciekbartczak@users.noreply.github.com>
Date: Fri, 28 Feb 2025 19:08:49 +0100
Subject: [PATCH] gtk: update the window title when grabbing tab focus

---
 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 3daeffe76..25c06e86a 100644
--- a/src/apprt/gtk/Window.zig
+++ b/src/apprt/gtk/Window.zig
@@ -596,6 +596,10 @@ pub fn focusCurrentTab(self: *Window) void {
     const surface = tab.focus_child orelse return;
     const gl_area = @as(*c.GtkWidget, @ptrCast(surface.gl_area));
     _ = c.gtk_widget_grab_focus(gl_area);
+
+    if (surface.getTitle()) |title| {
+        self.setTitle(title);
+    }
 }
 
 pub fn onConfigReloaded(self: *Window) void {