使用 javascript 设置视频的精确时间

Question

嗨，我正在尝试获取一个按钮来将视频时间设置为精确点。下面列出的代码是我到目前为止编写的，但它不起作用。我想是因为它无法获取 document.getElementById。有人知道如何解决这个问题吗？

\documentclass{article}

\usepackage[pdftex]{hyperref}
\usepackage[pdftex]{insdljs}
\usepackage{media9}
\begin{insDLJS}{mydljs}{some comment}
function stop(){
var vid = document.getElementById("bunny.mp4"); 
vid.currentTime=5;
}
\end{insDLJS}

\begin{document}
\includemedia[width=0.6\linewidth,height=0.6\linewidth,activate=pageopen,
passcontext,
transparent,
addresource=bunny.mp4,
flashvars={source=bunny.mp4}
]{}{VPlayer.swf}


\begin{Form}
    \PushButton[onclick={stop();}]{5 sec}\\
    \TextField[name=somefield, width=4em]{Any way to hide e.g. this text?}
\end{Form}
\end{document}ode here

Answer 1

JavaScript 是不是必需的。

可以使用该\mediabutton命令插入其他控制按钮。查看media9手动的举些例子。

如果您无法在视频中精确地定位，则可能需要使用更多的关键帧对视频重新编码。

例如，每秒一个关键帧，使用具有相同值的ffmpeg选项-g ...和（帧速率）：-r ...

ffmpeg -i video-in.mp4 -c:v libx264 -profile:v high -pix_fmt yuv420p -g 30 -r 30 video-out.mp4

---

更新： Overleaf 上的示例example-movie.mp4包含来自包的嵌入视频文件mwe，使用上面列出的命令行每秒重新编码一个关键帧。

---

流视频示例：

\documentclass{article}
\usepackage{media9}
\parindent=0pt

\begin{document}

\includemedia[
  label=videoexample,
  width=16em,height=9em,
  activate=pageopen,
  passcontext,
  transparent,
  flashvars={source=https://ia800501.us.archive.org/10/items/BigBuckBunny_310/big_buck_bunny_640_512kb.mp4}
]{}{VPlayer.swf}

\mediabutton[
  mediacommand=videoexample:play[(25)],
  mediacommand=videoexample:pause
]{\fbox{25~s}}
\mediabutton[
  mediacommand=videoexample:play[(50)],
  mediacommand=videoexample:pause
]{\fbox{50~s}}
\mediabutton[
  mediacommand=videoexample:play[(150)],
  mediacommand=videoexample:pause
]{\fbox{150~s}}

\end{document}