[gnome-builder] terminal: use ctrl+shift+f for search

[Christian Hergert <chergert src gnome org>]

commit c64ba97077a9d8619caf70bbeaa2c8ac68e1c575
Author: Christian Hergert <chergert redhat com>
Date:   Fri Feb 24 20:33:47 2017 -0800

    terminal: use ctrl+shift+f for search
    
    This should match what it is in gnome-terminal, as ctrl+f often gets in
    the way with terminal apps.

 plugins/terminal/gb-terminal.c |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/terminal/gb-terminal.c b/plugins/terminal/gb-terminal.c
index 8e64bf8..c3887b6 100644
--- a/plugins/terminal/gb-terminal.c
+++ b/plugins/terminal/gb-terminal.c
@@ -246,7 +246,7 @@ gb_terminal_real_search_reveal (GbTerminal *self)
   if (parent_overlay != NULL)
     {
       GtkRevealer *revealer = ide_widget_find_child_typed (parent_overlay, GTK_TYPE_REVEALER);
-      
+
       if (revealer != NULL && !gtk_revealer_get_child_revealed (revealer))
         gtk_revealer_set_reveal_child (revealer, TRUE);
     }
@@ -329,7 +329,7 @@ gb_terminal_class_init (GbTerminalClass *klass)
 
   gtk_binding_entry_add_signal (binding_set,
                                 GDK_KEY_f,
-                                GDK_CONTROL_MASK,
+                                GDK_SHIFT_MASK | GDK_CONTROL_MASK,
                                 "search-reveal",
                                 0);
 }