webstorm更换主题后快捷键失效

webstorm在网上下载主题安装后，发现复制粘贴快捷键不能用，解决方法

setting——》plugins——》搜索ideaIvm——》把勾去掉——》重启