From b940cdef7add2681dc56eba40b37d032a8b5dbcb Mon Sep 17 00:00:00 2001
From: Andrei Toterman <andrei.toterman@canonical.com>
Date: Tue, 17 Dec 2024 16:47:51 +0100
Subject: [PATCH] [gui] add cltr/shift+insert copy/paste shortcuts

---
 src/client/gui/lib/platform/linux.dart   | 4 ++++
 src/client/gui/lib/platform/windows.dart | 4 ++++
 2 files changed, 8 insertions(+)

diff --git a/src/client/gui/lib/platform/linux.dart b/src/client/gui/lib/platform/linux.dart
index 335a49d9e7..c504e291e4 100644
--- a/src/client/gui/lib/platform/linux.dart
+++ b/src/client/gui/lib/platform/linux.dart
@@ -31,8 +31,12 @@ class LinuxPlatform extends MpPlatform {
   Map<SingleActivator, Intent> get terminalShortcuts => const {
         SingleActivator(LogicalKeyboardKey.keyC, control: true, shift: true):
             CopySelectionTextIntent.copy,
+        SingleActivator(LogicalKeyboardKey.insert, control: true):
+            CopySelectionTextIntent.copy,
         SingleActivator(LogicalKeyboardKey.keyV, control: true, shift: true):
             PasteTextIntent(SelectionChangedCause.keyboard),
+        SingleActivator(LogicalKeyboardKey.insert, shift: true):
+            PasteTextIntent(SelectionChangedCause.keyboard),
         SingleActivator(LogicalKeyboardKey.equal, control: true):
             IncreaseTerminalFontIntent(),
         SingleActivator(LogicalKeyboardKey.equal, control: true, shift: true):
diff --git a/src/client/gui/lib/platform/windows.dart b/src/client/gui/lib/platform/windows.dart
index 1745ca0cd3..4b9f870804 100644
--- a/src/client/gui/lib/platform/windows.dart
+++ b/src/client/gui/lib/platform/windows.dart
@@ -33,8 +33,12 @@ class WindowsPlatform extends MpPlatform {
   Map<SingleActivator, Intent> get terminalShortcuts => const {
         SingleActivator(LogicalKeyboardKey.keyC, control: true, shift: true):
             CopySelectionTextIntent.copy,
+        SingleActivator(LogicalKeyboardKey.insert, control: true):
+            CopySelectionTextIntent.copy,
         SingleActivator(LogicalKeyboardKey.keyV, control: true, shift: true):
             PasteTextIntent(SelectionChangedCause.keyboard),
+        SingleActivator(LogicalKeyboardKey.insert, shift: true):
+            PasteTextIntent(SelectionChangedCause.keyboard),
         SingleActivator(LogicalKeyboardKey.equal, control: true):
             IncreaseTerminalFontIntent(),
         SingleActivator(LogicalKeyboardKey.equal, control: true, shift: true):