python - 将带有小部件的地图保存为 video/html_video

Question

我创建了一个带有小部件的地图。小部件如下所示：

time_slider = widgets.interactive(var_map_interactive, time_sel=widgets.IntSlider(description = "Time", min = 0, max = t_end, step = 5, readout_format = "d"), continous_update = True)

我现在想使用来自 ipywebrtc 的 WidgetStream 将其保存为小部件流

view_stream = WidgetStream(widget=time_slider)

然后作为 VideoRecorder

recorder = VideoRecorder(stream=view_stream)

但是，即使带有小部件的地图在我的 Jupyter 笔记本中独立运行，“记录器”也不会显示任何内容。任何想法为什么会发生这种情况？

另外，我怎么能从录音中创建一个 html_video 呢？

谢谢你的帮助！

标签： pythonwidgethtml5-videoipywidgets