2つのgeditプラグインが衝突します。ショートカットキーを変更する方法、またはプラグインを有効/無効にする方法
Geditには、GnomeのGedit Pluginsページにある2つのプラグインがあり、どちらも特に必要です... マルチ編集 タブを制御する ただし、どちらも同じショートカットキーを競合します:Ctrl + PageUpおよびCtrl + PageDown 私は2つの可能な解決策を見ることができます、そしておそらくもっとあります、、(通常あります:) 最善の解決策は、マルチ編集のショートカットキーをShift + Ctrl + PageUpとShift + Ctrl + PageDownに変更することです...しかし、私はPythonの知識がほとんどなく、それを行う方法は私をエスケープします。 最も簡単な方法(私にとって)は、別のショートカットキーを使用してオン/オフを切り替えることです。マルチ編集機能のオン/オフを切り替えるコマンドを知っています(ただし、スクリプト全体ではありません)...基本的に、このオプションでは、Geditプラグインのオン/オフを切り替えるコマンドが必要です。 どちらか、または両方(またはその他)の解決策が評価されます... 更新:コマンドラインコマンド(vs、メニューコマンド)、 および/またはマルチ編集のpythonスクリプトの「修正」を探しています。 注: 'ショートカットの編集'プラグインはマルチ編集プラグインを表示しません...(そのようにはできません)