[gnome-builder/wip/gtk4-port: 893/1774] libide/gui: add terminal overrides

[Christian Hergert <chergert src gnome org>]

commit 62219fbe4775f700aebeda413ff4ac1632469599
Author: Christian Hergert <chergert redhat com>
Date:   Fri May 6 11:58:41 2022 -0700

    libide/gui: add terminal overrides
    
    I don't think this is working yet, so it still needs some more work for
    the helpers likely.

 src/libide/gui/gtk/keybindings.json | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/gui/gtk/keybindings.json b/src/libide/gui/gtk/keybindings.json
index 830bc6283..ade89ae07 100644
--- a/src/libide/gui/gtk/keybindings.json
+++ b/src/libide/gui/gtk/keybindings.json
@@ -25,3 +25,5 @@
 { "trigger" : "<Control><Shift>c", "action" : "terminal.copy-clipboard", "when" : "inTerminal()", "phase" : 
"capture" },
 { "trigger" : "<Control><Shift>v", "action" : "terminal.paste-clipboard", "when" : "inTerminal()", "phase" : 
"capture" },
 { "trigger" : "<Control><Shift>f", "action" : "terminal.search-reveal", "when" : "inTerminal()", "phase" : 
"capture" },
+{ "trigger" : "<Control><Shift>bracketleft", "action" : "page.move-left", "when" : "inTerminal()", "phase" : 
"capture" },
+{ "trigger" : "<Control><Shift>bracketright", "action" : "page.move-right", "when" : "inTerminal()", "phase" 
: "capture" },