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

gtk: update tab title even when the tab is unfocused

Browse Source 
This change updates the tab title if the tab is unfocused. Tab title
updates only occur when the update surface is the focused child of the
tab.
This commit is contained in:
Paul Berg
2024-01-15 11:50:39 +01:00
committed by Paul Berg
parent fd57724e14
commit 2b52c5ed88
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 {
if (self.container.tab()) |tab| tab.focus_child = self;
self.updateTitleLabels();
const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area));
_ = c.gtk_widget_grab_focus(widget);
self.updateTitleLabels();
}
fn updateTitleLabels(self: *Surface) void {
// If we have no title, then we have nothing to update.
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| {
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| {
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);
self.title_text = copy;
const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area));
if (c.gtk_widget_is_focus(widget) == 1) self.updateTitleLabels();
self.updateTitleLabels();
}
pub fn setMouseShape(