Commit d7e3749c authored by Egmont Koblinger's avatar Egmont Koblinger

widget: Do not intercept Ctrl+F1

https://bugzilla.gnome.org/show_bug.cgi?id=726438
parent 2856a4ee
......@@ -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);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment