[gnome-builder] devhelp: change keybinding for docs search

[Christian Hergert <chergert src gnome org>]

commit 6760cf59c5ad26a86bfcc5f2a0712e489b0413d6
Author: Christian Hergert <chergert redhat com>
Date:   Sat Mar 18 00:39:52 2017 -0700

    devhelp: change keybinding for docs search
    
    We don't want this to conflict with terminal search, and that is what
    people will most likely expect (ctrl+shift+f) since it matches
    gnome-builder.

 plugins/devhelp/gbp-devhelp-workbench-addin.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-workbench-addin.c b/plugins/devhelp/gbp-devhelp-workbench-addin.c
index 0cf8ff1..8c99cec 100644
--- a/plugins/devhelp/gbp-devhelp-workbench-addin.c
+++ b/plugins/devhelp/gbp-devhelp-workbench-addin.c
@@ -68,7 +68,7 @@ gbp_devhelp_workbench_addin_load (IdeWorkbenchAddin *addin,
   IdePerspective *perspective;
   GtkWidget *pane;
   GSimpleAction *action;
-  const gchar *focus_accel[] = { "<control><shift>f", NULL };
+  const gchar *focus_accel[] = { "<control><shift>k", NULL };
 
   g_assert (IDE_IS_WORKBENCH_ADDIN (self));
   g_assert (IDE_IS_WORKBENCH (workbench));