在微信web开发工具中复制失败

在微信web开发工具中ctrl+c复制某个页面的代码后，实际上并未复制成功。使用开发工具一段时间后（也许是使用ctrl+c一段时间后）必将出现该问题。