[gnome-builder/wip/gtk4-port] plugins/terminal: allow ctrl+w if terminal exited
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port] plugins/terminal: allow ctrl+w if terminal exited
- Date: Wed, 15 Jun 2022 15:36:39 +0000 (UTC)
commit f4ad890aa70b9197d575aa96e8575f2c84ee1a62
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" },
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]