复制开发者工具里无论是js还是wxss还是wxml，有时候就会出现无法复制的问题，复制了粘贴不是复制的内容，望官方处理下。其他工具复制粘贴均无任何问题。