微信开发者工具中有类似eclipse中右击工程名--刷新的功能吗？

多名开发者开发一个小程序，当我使用svn更新代码后，微信开发者工具中有类似eclipse的右击工程名–刷新的功能吗？个人有点强迫症，老是怀疑代码没有同步