Coleção de plugins para o editor de texto gedit
