一个小小白 在用python(使用的jupyter Notebook)制作动画时动画不能连续播放 所以想更改一个设置打开tools-preferences,但是在笔记本电脑上没有找到Tools。求助大佬们:请问怎么找到Tools啊