微信开发者工具无法复制粘贴

如题，在微信开发者工具内无法使用复制粘贴功能，无论是右键菜单选择还是直接快捷键操作都不行。至于是什么导致的无法知晓，关闭重启工具也无法恢复。