开发工具有个bug，被坑了

在开发工具里的编辑区，打开了一个文件在编辑；然后如果用其他方式修改了该文件内容，在开发工具中没有刷新该文件的内容，然后后果很严重，别人改的代码，用git一更新，被无意中覆盖了……。

这个问题太坑了，坑开发者不眨眼啊