From 0aa5954350341dca1d262915b956b3bc2ee7577d Mon Sep 17 00:00:00 2001 From: Victor Kareh Date: Sat, 23 Feb 2019 12:21:42 -0500 Subject: [PATCH] Retain copied selection when changing tabs --- src/terminal-window.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/terminal-window.c b/src/terminal-window.c index 8fc6c1a..b5f5e5f 100644 --- a/src/terminal-window.c +++ b/src/terminal-window.c @@ -1098,7 +1098,7 @@ terminal_window_update_size_to_menu (TerminalWindow *window) static void terminal_window_update_copy_sensitivity (TerminalScreen *screen, - TerminalWindow *window) + TerminalWindow *window) { TerminalWindowPrivate *priv = window->priv; GtkAction *action; @@ -1112,8 +1112,7 @@ terminal_window_update_copy_sensitivity (TerminalScreen *screen, action = gtk_action_group_get_action (priv->action_group, "EditCopy"); gtk_action_set_sensitive (action, can_copy); - /* 24/07/2014 madars.vitolins@gmail.com, sync to clibboard */ - if (priv->copy_selection) + if (can_copy && priv->copy_selection) #if VTE_CHECK_VERSION (0, 50, 0) vte_terminal_copy_clipboard_format (VTE_TERMINAL(screen), VTE_FORMAT_TEXT); #else