Line 0
Link Here
|
|
|
1 |
--- terminal/terminal-window.c.orig 2017-07-05 22:57:57 UTC |
2 |
+++ terminal/terminal-window.c |
3 |
@@ -1879,6 +1879,10 @@ title_popover_close (GtkWidget *pop |
4 |
/* close the dialog */ |
5 |
gtk_widget_destroy (window->priv->title_popover); |
6 |
window->priv->title_popover = NULL; |
7 |
+ |
8 |
+ /* focus the terminal: bug #13754 */ |
9 |
+ if (G_LIKELY (window->priv->active != NULL)) |
10 |
+ terminal_screen_focus (window->priv->active); |
11 |
} |
12 |
|
13 |
|
14 |
yes |
15 |
native |
16 |
text/plain |