mirror of
https://github.com/ghostty-org/ghostty.git
synced 2025-07-16 08:46:08 +03:00
gtk: note setting title unhides the cursor
This commit is contained in:
@ -741,7 +741,14 @@ fn updateTitleLabels(self: *Surface) void {
|
|||||||
// If we have a window and are focused, 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| {
|
||||||
const widget = @as(*c.GtkWidget, @ptrCast(self.gl_area));
|
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);
|
if (c.gtk_widget_is_focus(widget) == 1) {
|
||||||
|
// Changing the title somehow unhides our cursor.
|
||||||
|
// https://github.com/ghostty-org/ghostty/issues/1419
|
||||||
|
// I don't know a way around this yet. I've tried re-hiding the
|
||||||
|
// cursor after setting the title but it doesn't work, I think
|
||||||
|
// due to some gtk event loop things...
|
||||||
|
c.gtk_window_set_title(window.window, title.ptr);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user