diff options
Diffstat (limited to 'x11/xfce4-terminal/files/patch-terminal_terminal-window.c')
| -rw-r--r-- | x11/xfce4-terminal/files/patch-terminal_terminal-window.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/x11/xfce4-terminal/files/patch-terminal_terminal-window.c b/x11/xfce4-terminal/files/patch-terminal_terminal-window.c new file mode 100644 index 000000000000..2cdb607f3fdc --- /dev/null +++ b/x11/xfce4-terminal/files/patch-terminal_terminal-window.c @@ -0,0 +1,13 @@ +--- terminal/terminal-window.c.orig 2017-07-05 22:57:57 UTC ++++ terminal/terminal-window.c +@@ -1879,6 +1879,10 @@ title_popover_close (GtkWidget *pop + /* close the dialog */ + gtk_widget_destroy (window->priv->title_popover); + window->priv->title_popover = NULL; ++ ++ /* focus the terminal: bug #13754 */ ++ if (G_LIKELY (window->priv->active != NULL)) ++ terminal_screen_focus (window->priv->active); + } + + |