小程序文件夹没有刷新功能吗？？

在文件夹中添加一个文件，在微信开发工具中不显示添加的文件，又没有文件刷新功能？？？