我正在使用 jupyter notebook 为沿蚂蚁路径移动的标记设置动画。我正在使用 ipyleaflet 和 ipywidgets。我在我的地图中添加了一个滑块小部件 (speed_slider)，以允许我更改动画的速度。我的动画使用 for 循环代码，如下面的代码所示。
for i in ant_path.locations:
mark.location = i
sleep(speed_slider.value)
我可以在运行包含上述 for 循环代码的单元格之前设置动画速度，但我无法在动画期间更改速度。请就如何在动画运行时使用滑块更改动画速度提出任何建议。