From 7bb3c4a933e7dbc5c263e10446bd156fa03e71e6 Mon Sep 17 00:00:00 2001
From: debenz <dennis.benz@uos.de>
Date: Fri, 17 Feb 2023 16:03:20 +0100
Subject: [PATCH] Additional Hotkey to play back video in the subtitle editor

Currently, users can not play/pause the video in the subtitle input field. This changes solve this problem by introducing an alternate hotkey `Strg` + `Alt` + `Space` to play and pause videos.

Resolves #901
---
 src/globalKeys.ts             | 1 +
 src/main/KeyboardControls.tsx | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/globalKeys.ts b/src/globalKeys.ts
index d2ee8da18..191f05b8e 100644
--- a/src/globalKeys.ts
+++ b/src/globalKeys.ts
@@ -42,6 +42,7 @@ export const videoPlayerKeyMap: KeyMap = {
   play: {
     name: "keyboardControls.videoPlayButton",
     sequence: rewriteKeys("Space"),
+    sequences: [rewriteKeys("Control+Alt+Space"), "Space"],
     action: "keydown",
     group: groupVideoPlayer,
   },
diff --git a/src/main/KeyboardControls.tsx b/src/main/KeyboardControls.tsx
index d3ae3dc1e..46082fd32 100644
--- a/src/main/KeyboardControls.tsx
+++ b/src/main/KeyboardControls.tsx
@@ -16,7 +16,7 @@ const Group: React.FC<{name: string, entries: KeyMapDisplayOptions[]}> = ({name,
   const groupStyle = css({
     display: 'flex',
     flexDirection: 'column' as const,
-    width: '420px',
+    width: '460px',
     maxWidth: '50vw',
   });