Merge pull request #979 from dennis531/additional-playback-hotkey

Additional Hotkey to play back video in the subtitle editor
opencast · Apr 6, 2023 · a979588 · a979588
2 parents 308ee3d + 7bb3c4a
commit a979588
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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',
   });