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

Retain copied selection when changing tabs

Victor Kareh 2019-02-23 12:21:42 -05:00
parent b703eef3e7
commit 773ef17921
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/terminal-window.c
View File

@ -1098,7 +1098,7 @@ terminal_window_update_size_to_menu (TerminalWindow *window)
static void static void
terminal_window_update_copy_sensitivity (TerminalScreen *screen, terminal_window_update_copy_sensitivity (TerminalScreen *screen,
TerminalWindow *window) TerminalWindow *window)
{ {
TerminalWindowPrivate *priv = window->priv; TerminalWindowPrivate *priv = window->priv;
GtkAction *action; GtkAction *action;
@ -1112,8 +1112,7 @@ terminal_window_update_copy_sensitivity (TerminalScreen *screen,
action = gtk_action_group_get_action (priv->action_group, "EditCopy"); action = gtk_action_group_get_action (priv->action_group, "EditCopy");
gtk_action_set_sensitive (action, can_copy); gtk_action_set_sensitive (action, can_copy);
/* 24/07/2014 madars.vitolins@gmail.com, sync to clibboard */ if (can_copy && priv->copy_selection)
if (priv->copy_selection)
#if VTE_CHECK_VERSION (0, 50, 0) #if VTE_CHECK_VERSION (0, 50, 0)
vte_terminal_copy_clipboard_format (VTE_TERMINAL(screen), VTE_FORMAT_TEXT); vte_terminal_copy_clipboard_format (VTE_TERMINAL(screen), VTE_FORMAT_TEXT);
#else #else