[gnome-builder] Bug 766303 - add ctrl+k in shortcuts window

[Christian Hergert <chergert src gnome org>]

commit c265b56bebaaad5f14c5fd54fe91b3e26a3d9d62
Author: Raunaq Abhyankar <raunaq abhyankar gmail com>
Date:   Thu May 12 18:14:05 2016 +0530

    Bug 766303 - add ctrl+k in shortcuts window
    
    ctrl+k shows the list of files. Added that to the keyboard shortcuts window.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=766303

 data/ui/ide-shortcuts-window.ui |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/ide-shortcuts-window.ui b/data/ui/ide-shortcuts-window.ui
index 678550c..3729681 100644
--- a/data/ui/ide-shortcuts-window.ui
+++ b/data/ui/ide-shortcuts-window.ui
@@ -142,6 +142,13 @@
                 <property name="title" translatable="yes" context="shortcut window">Switch to the previous 
document</property>
               </object>
             </child>
+            <child>
+              <object class="GtkShortcutsShortcut">
+                <property name="visible">1</property>
+                <property name="accelerator">&lt;ctrl&gt;k</property>
+                <property name="title" translatable="yes" context="shortcut window">Show list of open 
files</property>
+              </object>
+            </child>
           </object>
         </child>
         <child>