diff options
author | Christian Persch <chpe@gnome.org> | 2013-06-28 16:42:37 +0200 |
---|---|---|
committer | Christian Persch <chpe@gnome.org> | 2013-06-28 16:42:37 +0200 |
commit | 2b6efd6aa23eb576bb788c3dbba50f59895d21e0 (patch) | |
tree | 918f254871ba8668e5b7f88424efc2819da64943 | |
parent | acc863ef287284e9e52c1b96d7e704d6c159d4dd (diff) | |
download | vte-2b6efd6aa23eb576bb788c3dbba50f59895d21e0.tar.gz |
widget: Honour gtk-enable-primary-paste setting
-rw-r--r-- | src/vte.c | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -7439,8 +7439,14 @@ vte_terminal_button_press(GtkWidget *widget, GdkEventButton *event) case 2: if ((terminal->pvt->modifiers & GDK_SHIFT_MASK) || !terminal->pvt->mouse_tracking_mode) { - vte_terminal_paste_primary(terminal); - handled = TRUE; + gboolean do_paste; + + g_object_get (gtk_widget_get_settings(widget), + "gtk-enable-primary-paste", + &do_paste, NULL); + if (do_paste) + vte_terminal_paste_primary(terminal); + handled = do_paste; } break; case 3: |