[gnome-builder/wip/gtk4-port: 1520/1774] plugins/terminal: allow ctrl+w if terminal exited

[Christian Hergert <chergert src gnome org>]

commit 21abc5f7b4f153b9a164b1d92de92a4c204c6415
Author: Christian Hergert <chergert redhat com>
Date:   Wed Jun 15 08:18:10 2022 -0700

    plugins/terminal: allow ctrl+w if terminal exited

 src/plugins/terminal/gtk/keybindings.json | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/plugins/terminal/gtk/keybindings.json b/src/plugins/terminal/gtk/keybindings.json
index 5044c5d76..cfa21b1a4 100644
--- a/src/plugins/terminal/gtk/keybindings.json
+++ b/src/plugins/terminal/gtk/keybindings.json
@@ -9,3 +9,6 @@
 { "trigger" : "<Control><Shift>f", "action" : "terminal.search-reveal", "when" : "inTerminal()", "phase" : 
"capture" },
 { "trigger" : "<Control><Shift>braceleft", "action" : "page.move-left", "when" : "inTerminal()", "phase" : 
"capture" },
 { "trigger" : "<Control><Shift>braceright", "action" : "page.move-right", "when" : "inTerminal()", "phase" : 
"capture" },
+
+/* Allow closing exited terminals with ctrl+w */
+{ "trigger" : "<Control>w", "action" : "frame.close-page-or-frame", "when" : "(typeof(page) == 
typeof(Ide.TerminalPage)) && page.has_exited()", "phase" : "capture" },