Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-17 01:06:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1302 from Pangoraw/update_unfocused_tab_title

Browse Source 
gtk: update tab title even when the tab is unfocused
This commit is contained in:
Mitchell Hashimoto
2024-01-15 14:38:54 -08:00
committed by GitHub
parent 0a1fba0059 2b52c5ed88
commit 85fdcdccdb
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/apprt/gtk/Surface.zig
View File

@ -717,23 +717,25 @@ pub fn setSizeLimits(self: *Surface, min: apprt.SurfaceSize, max_: ?apprt.Surfac
pub fn grabFocus(self: *Surface) void { pub fn grabFocus(self: *Surface) void {
if (self.container.tab()) |tab| tab.focus_child = self; if (self.container.tab()) |tab| tab.focus_child = self;
self.updateTitleLabels();
const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area)); const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area));
_ = c.gtk_widget_grab_focus(widget); _ = c.gtk_widget_grab_focus(widget);
self.updateTitleLabels();
} }
fn updateTitleLabels(self: *Surface) void { fn updateTitleLabels(self: *Surface) void {
// If we have no title, then we have nothing to update. // If we have no title, then we have nothing to update.
const title = self.title_text orelse return; const title = self.title_text orelse return;
// If we have a tab, then we have to update the tab // If we have a tab and are the focused child, then we have to update the tab
if (self.container.tab()) |tab| { if (self.container.tab()) |tab| {
c.gtk_label_set_text(tab.label_text, title.ptr); if (tab.focus_child == self) c.gtk_label_set_text(tab.label_text, title.ptr);
} }
// If we have a window, then we have to update the window title. // If we have a window and are focused, then we have to update the window title.
if (self.container.window()) |window| { if (self.container.window()) |window| {
c.gtk_window_set_title(window.window, title.ptr); const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area));
if (c.gtk_widget_is_focus(widget) == 1) c.gtk_window_set_title(window.window, title.ptr);
} }
} }
@ -745,8 +747,7 @@ pub fn setTitle(self: *Surface, slice: [:0]const u8) !void {
if (self.title_text) |old| alloc.free(old); if (self.title_text) |old| alloc.free(old);
self.title_text = copy; self.title_text = copy;
const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area)); self.updateTitleLabels();
if (c.gtk_widget_is_focus(widget) == 1) self.updateTitleLabels();
} }
pub fn setMouseShape( pub fn setMouseShape(