Melhorando o Gedit com vários plugins

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:

http://live.gnome.org/Gedit/Plugins

E alguns outros não oficiais:

http://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:

http://www.linux.com/feature/138509