我在使用开发者工具的时候经常出现在a文件编辑内容出现在b文件中,并且a文件一直编辑不了的情况;也有碰到复制到剪切板不行的情况;也有文件打不开的情况。
感谢反馈,这是一个已知 bug,请等待我们后续的升级版本。