Eso estaría bien. Sin embargo, no pude encontrar uno usando Google. ¿Alguien escuchó o vio algo para Pluma o quiere hacer un plugin?¿Hay un complemento para Pluma (RIP Gedit) para resaltar las etiquetas HTML que coinciden?
(Pluma es el editor de texto para Mate Desktop. Mate Desktop es una bifurcación de Gnome 2, por lo que Pluma es una bifurcación de Gnome 2 de Gnomo).
Sí, Pluma es el editor de texto oficial de MATE. Pero esto no le impide instalar y ejecutar Gedit bajo MATE. Gedit no está muerto. Todavía se mantiene como parte de GNOME, y funciona bien bajo MATE. – nobar