From 39588e6dcb53ef711b207e0a3939b15af1c4e000 Mon Sep 17 00:00:00 2001 From: ZenWalker Date: Mon, 7 Nov 2016 09:29:37 +0100 Subject: [PATCH] Make dropped tab active based on gnome-terminal commit: https://git.gnome.org/browse/gnome-terminal/commit/?id=abb2018a702adfc57831aea9ebb5c513b9c8bbbd Fixes #152 --- src/terminal-window.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/terminal-window.c b/src/terminal-window.c index fd374ec..2846d0d 100644 --- a/src/terminal-window.c +++ b/src/terminal-window.c @@ -2673,6 +2673,7 @@ terminal_window_move_screen (TerminalWindow *source_window, g_object_unref (screen_container); terminal_window_add_screen (dest_window, screen, dest_position); + gtk_notebook_set_current_page (GTK_NOTEBOOK (dest_window->priv->notebook), dest_position); g_object_unref (screen); }