[gnome-builder] shortcuts: add terminal search section

[Christian Hergert <chergert src gnome org>]

commit 4178a44b098c32bd89e69d67b829f7c5de2e770b
Author: Christian Hergert <chergert redhat com>
Date:   Fri Feb 24 20:41:30 2017 -0800

    shortcuts: add terminal search section

 libide/keybindings/ide-shortcuts-window.ui |   13 +++++++++++++
 1 files changed, 13 insertions(+), 0 deletions(-)
---
diff --git a/libide/keybindings/ide-shortcuts-window.ui b/libide/keybindings/ide-shortcuts-window.ui
index 69a236e..8196f9e 100644
--- a/libide/keybindings/ide-shortcuts-window.ui
+++ b/libide/keybindings/ide-shortcuts-window.ui
@@ -514,6 +514,19 @@
             </child>
           </object>
         </child>
+        <child>
+          <object class="GtkShortcutsGroup">
+            <property name="visible">true</property>
+            <property name="title" translatable="yes" context="shortcut window">Search</property>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">true</property>
+                <property name="accelerator">&lt;ctrl&gt;&lt;shift&gt;f</property>
+                <property name="title" translatable="yes" context="shortcut window">Find text within 
terminal</property>
+              </object>
+            </child>
+          </object>
+        </child>
       </object>
     </child>
   </template>