Gedit a deux plugins de la page Gedit Plugins de Gnome que je veux particulièrement tous les deux ...
Cependant, ils se disputent tous les deux les mêmes touches de raccourci: Ctrl + PageUp et Ctrl + PageDown
Je peux voir deux solutions possibles, et il y en a peut-être plus ,,, (il y a généralement :)
La meilleure solution peut être de changer les touches de raccourci dans Multi-edit en Shift + Ctrl + PageUp et Shift + Ctrl + PageDown ... mais j'ai très peu de connaissances en python, et comment m'échapper m'échappe ..
La méthode la plus simple (pour moi) consiste simplement à les activer / désactiver via une autre touche de raccourci. Je connais la commande pour activer / désactiver la fonction d'édition multiple (mais pas le script entier) ... Fondamentalement, pour cette option, j'ai besoin d'une commande pour activer / désactiver un plugin Gedit.
Soit, soit les deux (ou d'autres) solutions seraient appréciées ...
MISE À JOUR : Je recherche une commande de ligne de commande (vs, une commande de menu),
et / ou un «correctif» pour le script python de Multi-edit.
Remarque: le plugin "Modifier les raccourcis" n'affiche pas le plugin Multi-edit ... (donc je ne peux pas le faire de cette façon)