From 29b3f9d528445b5d5183e8957646b508c2bf62c9 Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Mon, 3 Jun 2024 16:21:50 -0700 Subject: [PATCH] gtk: set tab group so that tabs can be dropped onto other windows Related to #1122 --- src/apprt/gtk/Window.zig | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/apprt/gtk/Window.zig b/src/apprt/gtk/Window.zig index 746977fbf..207e5b8d0 100644 --- a/src/apprt/gtk/Window.zig +++ b/src/apprt/gtk/Window.zig @@ -114,6 +114,9 @@ pub fn init(self: *Window, app: *App) !void { c.gtk_notebook_set_show_tabs(notebook, 0); c.gtk_notebook_set_show_border(notebook, 0); + // This enables all Ghostty terminal tabs to be exchanged across windows. + c.gtk_notebook_set_group_name(notebook, "ghostty-terminal-tabs"); + // This is important so the notebook expands to fit available space. // Otherwise, it will be zero/zero in the box below. c.gtk_widget_set_vexpand(notebook_widget, 1);