gatuno
/
gatuno-terminal
1
0
Fork 0
Code Issues Pull Requests Releases 1 Wiki Activity

Make dropped tab active 

based on gnome-terminal commit:
https://git.gnome.org/browse/gnome-terminal/commit/?id=abb2018a702adfc57831aea9ebb5c513b9c8bbbd

Fixes #152
ZenWalker 2016-11-07 09:29:37 +01:00 committed by monsta
parent 6dc0e22c61
commit 39588e6dcb
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/terminal-window.c
View File

@ -2673,6 +2673,7 @@ terminal_window_move_screen (TerminalWindow *source_window,
g_object_unref (screen_container); g_object_unref (screen_container);
terminal_window_add_screen (dest_window, screen, dest_position); 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); g_object_unref (screen);
} }