Se você já usou várias distribuições com o GNOME, usando o Gedit como editor de textos, já deve ter percebido que ele é diferente em cada uma. Enquanto no Debian ele vem praticamente puro, no Ubuntu já traz várias coisas a mais, que os usuários do Debian nunca veriam se não procurassem saber mais sobre o Gedit. Não se trata necessariamente de uma compilação nova, ou uma outra versão. São os plugins.
Vários plugins para o Gedit estão disponíveis, e fazem as mais variadas coisas. Adicionam facilidades na interface, melhoram o editor, adicionam recursos específicos para programação (como destaque de sintaxe, complementação e sugestão de código), etc.
Muita gente desconhece essa capacidade do Gedit, que o torna muito além de um simples editor de textos puro.
Há muitos plugins disponíveis neste endereço:
https://live.gnome.org/Gedit/Plugins
E alguns outros não oficiais:
https://users.tkk.fi/~otsaloma/gedit/
Normalmente para instalar, copie os arquivos do plugin para a pasta ~/.gnome2/gedit/plugins. Para ativá-los, vá ao menu “Edit > Preferences > Plugins” (do Gedit), e depois reinicie o editor.
Se você usa bastante o Gedit, vale a pena dar uma olhada e experimentar alguns. Certamente sua produtividade poderá aumentar de forma significativa.
Referência:
