[vte/vte-0-36] widget: Do not intercept Ctrl+F1

[Egmont Koblinger <egmontkob src gnome org>]

commit d7e3749cdfee5d57d49bb508b05b8691b6799982
Author: Egmont Koblinger <egmont gmail com>
Date:   Mon Mar 17 14:39:51 2014 +0100

    widget: Do not intercept Ctrl+F1
    
    https://bugzilla.gnome.org/show_bug.cgi?id=726438

 src/vte.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/vte.c b/src/vte.c
index 2ba27c8..0204344 100644
--- a/src/vte.c
+++ b/src/vte.c
@@ -12953,6 +12953,10 @@ vte_terminal_class_init(VteTerminalClass *klass)
        gtk_binding_entry_add_signal(binding_set, GDK_KEY_F18, 0, "paste-clipboard", 0);
        gtk_binding_entry_add_signal(binding_set, GDK_KEY_F20, 0, "copy-clipboard",0);
 
+       /* Disable GTK's builtin handler for Ctrl+F1, see bug 726438 */
+       binding_set = gtk_binding_set_by_class(vte_terminal_parent_class);
+       gtk_binding_entry_skip(binding_set, GDK_KEY_F1, GDK_CONTROL_MASK);
+
        process_timer = g_timer_new ();
 
         klass->priv = G_TYPE_CLASS_GET_PRIVATE (klass, VTE_TYPE_TERMINAL, VteTerminalClassPrivate);