Allow typing time in current time field

This patch lets users change the current time by typing.
They can do so by clicking on the current time which will then turn
into an input field (focusing and pressing enter also works).
They can then change the time by typing.

The changed time is only applied on blur or pressing "Enter".
Any inputs that do not fit the syntax are ignored.

Author: Arnei

src/main/Cutting.tsx

@@ -134,6 +134,7 @@ const Cutting: React.FC = () => {
           selectIsMuted={selectIsMuted}
           selectVolume={selectVolume}
           selectIsPlayPreview={selectIsPlayPreview}
+          setCurrentlyAt={setCurrentlyAt}
           setIsPlaying={setIsPlaying}
           setIsMuted={setIsMuted}
           setVolume={setVolume}

src/main/SubtitleVideoArea.tsx

@@ -20,6 +20,7 @@ import VideoControls from "./VideoControls";
 import Select from "react-select";
 import { selectFieldStyle } from "../cssStyles";
 import { ActionCreatorWithPayload, AsyncThunk } from "@reduxjs/toolkit";
+import { setCurrentlyAt } from "../redux/subtitleSlice";
 
 /**
  * A part of the subtitle editor that displays a video and related controls
@@ -163,6 +164,7 @@ const SubtitleVideoArea: React.FC<{
             selectIsMuted={selectIsMuted}
             selectVolume={selectVolume}
             selectIsPlayPreview={selectIsPlayPreview}
+            setCurrentlyAt={setCurrentlyAt}
             setIsPlaying={setIsPlaying}
             setIsMuted={setIsMuted}
             setVolume={setVolume}

src/main/Thumbnail.tsx

@@ -148,6 +148,7 @@ const Thumbnail: React.FC = () => {
             selectIsMuted={selectIsMuted}
             selectVolume={selectVolume}
             selectIsPlayPreview={selectIsPlayPreview}
+            setCurrentlyAt={setCurrentlyAt}
             setIsPlaying={setIsPlaying}
             setIsMuted={setIsMuted}
             setVolume={setVolume}

src/main/VideoControls.tsx

@@ -35,6 +35,7 @@ const VideoControls: React.FC<{
   selectIsMuted: (state: RootState) => boolean,
   selectVolume: (state: RootState) => number,
   selectIsPlayPreview: (state: RootState) => boolean,
+  setCurrentlyAt: ActionCreatorWithPayload<number, string>,
   setIsPlaying: ActionCreatorWithPayload<boolean, string>,
   setIsMuted: ActionCreatorWithPayload<boolean, string>,
   setVolume: ActionCreatorWithPayload<number, string>,
@@ -47,6 +48,7 @@ const VideoControls: React.FC<{
   selectIsMuted,
   selectVolume,
   selectIsPlayPreview,
+  setCurrentlyAt,
   setIsPlaying,
   setIsMuted,
   setVolume,
@@ -75,6 +77,8 @@ const VideoControls: React.FC<{
     <div css={videoControlsRowStyle}>
       <TimeDisplay
         selectCurrentlyAt={selectCurrentlyAt}
+        setCurrentlyAt={setCurrentlyAt}
+        setIsPlaying={setIsPlaying}
       />
       {jumpToPreviousSegment && (
         <PreviousButton
@@ -331,41 +335,145 @@ const NextButton: React.FC<{
  */
 const TimeDisplay: React.FC<{
   selectCurrentlyAt: (state: RootState) => number,
+  setCurrentlyAt: ActionCreatorWithPayload<number, string>,
+  setIsPlaying: ActionCreatorWithPayload<boolean, string>,
 }> = ({
   selectCurrentlyAt,
+  setCurrentlyAt,
+  setIsPlaying,
 }) => {
 
   const { t } = useTranslation();
+  const theme = useTheme();
 
   // Init redux variables
-  const currentlyAt = useAppSelector(selectCurrentlyAt);
   const duration = useAppSelector(selectDuration);
-  const theme = useTheme();
+
+  const timeDisplayStyle = css({
+    display: "flex",
+    flexDirection: "row",
+    gap: "5px",
+    alignItems: "center",
+  });
 
   const timeTextStyle = (theme: Theme) => css({
     display: "inline-block",
     color: `${theme.text}`,
   });
 
   return (
-    <div css={{ display: "flex", flexDirection: "row", gap: "5px" }}>
-      <ThemedTooltip title={t("video.current-time-tooltip")}>
-        <time css={timeTextStyle(theme)}
-          tabIndex={0} role="timer" aria-label={t("video.time-aria") + ": " + convertMsToReadableString(currentlyAt)}>
-          {new Date((currentlyAt ? currentlyAt : 0)).toISOString().substr(11, 10)}
-        </time>
-      </ThemedTooltip>
+    <div css={timeDisplayStyle}>
+      <CurrentTime
+        selectCurrentlyAt={selectCurrentlyAt}
+        setCurrentlyAt={setCurrentlyAt}
+        setIsPlaying={setIsPlaying}
+      />
       <div css={undisplay(BREAKPOINTS.medium)}>{" / "}</div>
       <ThemedTooltip title={t("video.time-duration-tooltip")}>
         <div css={[timeTextStyle(theme), undisplay(BREAKPOINTS.medium)]}
-          tabIndex={0} aria-label={t("video.duration-aria") + ": " + convertMsToReadableString(duration)}>
-          {new Date((duration ? duration : 0)).toISOString().substr(11, 10)}
+          tabIndex={0}
+          aria-label={t("video.duration-aria") + ": " + convertMsToReadableString(duration)}
+        >
+          {formatMs(duration ? duration : 0)}
         </div>
       </ThemedTooltip>
     </div>
   );
 };
 
+const CurrentTime: React.FC<{
+  selectCurrentlyAt: (state: RootState) => number;
+  setCurrentlyAt: ActionCreatorWithPayload<number, string>,
+  setIsPlaying: ActionCreatorWithPayload<boolean, string>,
+}> = ({
+  selectCurrentlyAt,
+  setCurrentlyAt,
+  setIsPlaying,
+}) => {
+  const { t } = useTranslation();
+  const dispatch = useAppDispatch();
+
+  const currentlyAt = useAppSelector(selectCurrentlyAt);
+
+  const [editing, setEditing] = React.useState(false);
+  const [value, setValue] = React.useState(formatMs(currentlyAt));
+
+  const parseTime = (value: string) => {
+    const parts = value.split(":").map(Number);
+    if (parts.some(isNaN)) {
+      return null;
+    }
+
+    const [hh = 0, mm = 0, ss = 0] = parts;
+    return ((hh * 60 + mm) * 60 + ss) * 1000;
+  };
+
+  React.useEffect(() => {
+    if (!editing) {
+      setValue(formatMs(currentlyAt));
+    }
+  }, [currentlyAt, editing]);
+
+  const commit = () => {
+    const parsedTime = parseTime(value);
+    if (parsedTime) {
+      dispatch(setCurrentlyAt(parsedTime));
+    }
+    setEditing(false);
+  };
+
+  const cancel = () => {
+    setValue(formatMs(currentlyAt));
+    setEditing(false);
+  };
+
+  const inputStyle = css({
+    maxWidth: "77px",
+  });
+
+  return (
+    <ThemedTooltip title={t("video.current-time-tooltip")}>
+      {editing ? (
+        <input
+          autoFocus
+          value={value}
+          onChange={e => setValue(e.target.value)}
+          onBlur={commit}
+          onKeyDown={e => {
+            if (e.key === "Enter") { commit(); }
+            if (e.key === "Escape") { cancel(); }
+          }}
+          aria-label={t("video.time-aria")}
+          css={inputStyle}
+        />
+      ) : (
+        <time
+          tabIndex={0}
+          role="timer"
+          onClick={() => {
+            setEditing(true);
+            dispatch(setIsPlaying(false));
+          }}
+          onKeyDown={e => {
+            if (e.key === "Enter" || e.key === " ") {
+              e.preventDefault();
+              setEditing(true);
+              dispatch(setIsPlaying(false));
+            }
+          }}
+          aria-label={t("video.time-aria") + ": " + convertMsToReadableString(currentlyAt)}
+        >
+          {formatMs(currentlyAt)}
+        </time>
+      )}
+    </ThemedTooltip>
+  );
+};
+
+const formatMs = (ms: number) => {
+  return new Date(ms).toISOString().substr(11, 10);
+};
+
 const VolumeSlider: React.FC<{
   selectIsMuted: (state: RootState) => boolean,
   setIsMuted: ActionCreatorWithPayload<boolean, string>,