win10 64位 复制粘贴总是失效。。。
复制开发者工具里无论是js还是wxss还是wxml,有时候就会出现无法复制的问题,复制了粘贴不是复制的内容,望官方处理下。其他工具复制粘贴均无任何问题。
4 回复
你好,如果不是最新版本的开发工具,麻烦更新下:https://developers.weixin.qq.com/miniprogram/dev/devtools/download.html;如果是最新版本可以切换下文件,触发编辑器 reload