[gnome-builder] workbench: capture Control+F7 before widget dispatch

[Christian Hergert <chergert src gnome org>]

commit 109f4f51f81d100b95edbff0824bd5cf1d6e3cfa
Author: Christian Hergert <chergert redhat com>
Date:   Sat Nov 18 00:44:26 2017 -0800

    workbench: capture Control+F7 before widget dispatch
    
    For some reason, gtkbindingset is activating our event for
    Ctrl+F7 as the F7 action. A workaround for now, is to just
    capture it before the event propagates to the target widget.
    
    F7 continues to work to toggle the visibility of the caret in
    the textview.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=790458

 src/libide/workbench/ide-workbench-shortcuts.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/libide/workbench/ide-workbench-shortcuts.c b/src/libide/workbench/ide-workbench-shortcuts.c
index 54078ff..c0ca2b3 100644
--- a/src/libide/workbench/ide-workbench-shortcuts.c
+++ b/src/libide/workbench/ide-workbench-shortcuts.c
@@ -111,7 +111,7 @@ _ide_workbench_init_shortcuts (IdeWorkbench *self)
   dzl_shortcut_controller_add_command_action (controller,
                                               I_("org.gnome.builder.workbench.build"),
                                               "<Control>F7",
-                                              DZL_SHORTCUT_PHASE_DISPATCH | DZL_SHORTCUT_PHASE_GLOBAL,
+                                              DZL_SHORTCUT_PHASE_CAPTURE | DZL_SHORTCUT_PHASE_GLOBAL,
                                               I_("build-manager.build"));
 
   dzl_shortcut_manager_add_shortcut_entries (NULL,