拷贝粘贴功能总是失效？

时间：2019-05-04 来源：小程序工厂

问题模块框架类型问题类型操作系统工具版本
开发者工具微信小程序 Bug Windows 1.02.1809111

- BUG描述

在开发过程中，微信开发者工具经常性地会出现“拷贝、粘贴”功能失效现象。无论是利用Ctrl+C、Ctrl+V快捷键，还是利用鼠标右键菜单，都没有效果。
若把“微信开发者工具”重启一下，又恢复正常了。

这个问题在开发过程中很讨嫌，虽说重启一下工具只要十几秒，但会打断思路……

- 复现路径

问题的出现没发现有什么规律。