解决微信开发者工具保存不了的问题

前几天更新到最新版的微信开发工具后，发现在修改js或者wxml的时候，保存编译，页面内容不变化，只有关闭开发工具再重新打开才行

问题别人也遇到了：

https://developers.weixin.qq.com/blogdetail?action=get_post_info&lang=zh_CN&token=&docid=ac32eb457624a677b65078222a537d06

下面有人回复：

我正好用的也是win10+onedrive，但是我关闭了onedrive还是没用，然后突然想到，我的代码目录是一个映射目录，当时是为了onedrive同步方便，我将代码文件放在D:\OneDrive\工作\项目，然后用了mklink命令将这个目录映射到了D:\当前项目，最后将代码换个正常文件夹，重新打开开发工具，就能正常保存了。