From 512d2dace8529ddf0e1e45d9804b91c1b7cfe28e Mon Sep 17 00:00:00 2001
From: Eugene Pankov <e@ajenti.org>
Date: Mon, 3 Oct 2022 19:50:21 +0200
Subject: [PATCH] added the missing select-all hotkey - fixes #3081, fixes
 #3141

---
 tabby-terminal/src/hotkeys.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tabby-terminal/src/hotkeys.ts b/tabby-terminal/src/hotkeys.ts
index 3346af45..22f394d1 100644
--- a/tabby-terminal/src/hotkeys.ts
+++ b/tabby-terminal/src/hotkeys.ts
@@ -13,6 +13,10 @@ export class TerminalHotkeyProvider extends HotkeyProvider {
             id: 'paste',
             name: this.translate.instant('Paste from clipboard'),
         },
+        {
+            id: 'select-all',
+            name: this.translate.instant('Select all'),
+        },
         {
             id: 'home',
             name: this.translate.instant('Beginning of the line'),