Gedit hat zwei Plugins von Gnomes Gedit Plugins-Seite, die ich beide besonders möchte ...
Beide wetteifern jedoch um dieselben Tastenkombinationen: Strg + PageUp und Strg + PageDown
Ich kann zwei mögliche Lösungen sehen, und vielleicht gibt es mehr ,,, (es gibt normalerweise :)
Die beste Lösung könnte darin bestehen, die Shorcut-Tasten in Multi-Edit in Shift + Ctrl + PageUp und Shift + Ctrl + PageDown zu ändern ... aber ich habe nur sehr wenig Python-Kenntnisse, und wie das geht, entgeht mir.
Die einfachste Methode (für mich) besteht darin, sie einfach über eine andere Tastenkombination ein- oder auszuschalten. Ich kenne den Befehl zum Ein- und Ausschalten der Multi-Edit-Funktion (aber nicht des gesamten Skripts) ... Grundsätzlich benötige ich für diese Option einen Befehl zum Ein- und Ausschalten eines Gedit-Plugins.
Entweder oder beide (oder andere) Lösungen wären willkommen ...
UPDATE : Ich suche nach einem Befehlszeilenbefehl (vs, einem Menübefehl)
und / oder einem 'Fix' für das Python-Skript von Multi-Edit.
Hinweis: Das Plugin 'Edit Shortcuts' zeigt das Multi-Edit-Plugin nicht an ... (also kann ich es nicht so machen)