两个gedit插件发生冲突。如何更改快捷键或启用/禁用插件
Gedit在Gnome的Gedit插件页面中有两个我都特别想要的插件 ... 多编辑 控制标签 但是,他们两个都在争夺相同的快捷键:Ctrl + PageUp和Ctrl + PageDown 我可以看到两个可能的解决方案,也许还有更多(通常是:) 最好的解决方案可能是将“多编辑”中的快捷键更改为Shift + Ctrl + PageUp和Shift + Ctrl + PageDown ...,但是我对python的了解很少,而如何做到这一点使我逃脱了。 对我而言,最简单的方法是通过另一个快捷键将其打开/关闭。我知道用于打开/关闭多编辑功能(但不是整个脚本)的命令...基本上,对于此选项,我需要一个用于打开/关闭Gedit插件的命令。 或两者(或其他)解决方案将不胜感激... 更新:我正在寻找一个命令行命令(相对于菜单命令) 和/或Multi-edit的python脚本的“修复”。 注意:“编辑快捷方式”插件未显示“多编辑”插件...(所以我不能那样做)