Gedit ha due plugin dalla pagina dei plugin Gedit di Gnome che entrambi voglio particolarmente ...
Tuttavia, entrambi competono per gli stessi tasti di scelta rapida: Ctrl + PageUp e Ctrl + PageDown
Vedo due possibili soluzioni, e forse ce ne sono altre ,,, (di solito c'è :)
La soluzione migliore potrebbe essere quella di cambiare i tasti shorcut in Modifica multipla in Maiusc + Ctrl + PageUp e Maiusc + Ctrl + PageDown ... ma ho pochissime conoscenze su Python e come evitarmi.
Il metodo più semplice (per me) è semplicemente attivarli / disattivarli tramite un altro tasto di scelta rapida. Conosco il comando per attivare / disattivare la funzione di modifica multipla (ma non l'intero script) ... Fondamentalmente, per questa opzione, ho bisogno di un comando per attivare / disattivare un plug-in Gedit.
O, o entrambe (, o altre) soluzioni sarebbero apprezzate ...
AGGIORNAMENTO : Sto cercando un comando da riga di comando (vs, un comando di menu)
e / o una 'correzione' per lo script python di Multi-edit.
Nota: il plug-in "Modifica scorciatoie" non mostra il plug-in Modifica multipla ... (quindi non posso farlo in quel modo)