Tempo fa provai questo plugin, ma mi sembrò un mattone!
Oltre a malfunzionamenti varii (che non ricordo più: tanto è il tempo passato!), mi dava fastidio l’eccessivo, ma proprio eccessivo consumo di ram da parte di gedit, quando caricava il plugin.
Alla luce di quanto dite, ma anche a causa di una non perfetta integrazione di texmaker con la tastiera di sistema (su Debian Sid, per un baco già segnalato, ma che non riesco più a ritrovare), potrei dargli un’altra possibilità.
Nel segnalarvi come validissima alternativa, leggera e veramente potentissima, geany, con relativo plugin, vi vorrei chiedere se esiste già un link da cui scaricare la versione del plugin per gedit compatibile con la versione 3 dell’editor in questione.
Purtroppo, io non sono riuscito a trovarlo.
Ciao
Domenico