请问微信开发者工具有没有“粘贴”的菜单？

• 需求的场景描述（希望解决的问题）

使用微信开发者工具时，在右键弹出的菜单中，有”复制“，但没有”粘贴“菜单，有时习惯用鼠标来点复制，但粘贴时又要用[Ctrl+V]键，觉得不方便。

• 希望提供的能力

在右键弹出的菜单中，增加”粘贴“菜单。