代码保存之后不起作用，只有关闭开发者工具重新打开才行

遇到同样问题，最新版微信开发者工具（版本号1.02.1909292）出了严重bug，修改js代码保存后无法编译，还是执行老的代码，只有IDE关闭后再重启新代码才执行。开发者工具回退使用老版本，老版本也出现这个问题了！！！微信开发者工具已经彻底无法使用，修改一个字母都需要重启IDE才能看到最新代码执行效果