From a24c1c489be9bd55c10a168719b4f1856690c960 Mon Sep 17 00:00:00 2001
From: Eugene Pankov <e@ajenti.org>
Date: Sat, 18 Jun 2022 10:40:31 +0200
Subject: [PATCH] added support for Ctrl-/ - fixes #6235, fixes #3382

---
 tabby-terminal/src/frontends/xtermFrontend.ts | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tabby-terminal/src/frontends/xtermFrontend.ts b/tabby-terminal/src/frontends/xtermFrontend.ts
index 29c17e4d..3ff589ca 100644
--- a/tabby-terminal/src/frontends/xtermFrontend.ts
+++ b/tabby-terminal/src/frontends/xtermFrontend.ts
@@ -148,7 +148,14 @@ export class XTermFrontend extends Frontend {
                     return true
                 }
             }
+
+            if (event.type === 'keydown' && event.key === '/' && event.ctrlKey) {
+                this.input.next(Buffer.from('\u001f', 'binary'))
+                return false
+            }
+
             this.hotkeysService.pushKeyEvent(name, event)
+
             let ret = true
             if (this.hotkeysService.matchActiveHotkey(true) !== null) {
                 event.stopPropagation()