Re: Plugin ferramentas externas e Rgedit

[Enrico Nicoletto <liverig gmail com>]

Alexandre, talvez esta página da documentação o ajude:

https://help.gnome.org/users/gedit/stable/gedit-plugins-install.html.pt_BR

Nela há instruções de como efetuar a instalação de plug-ins externos.

Espero ter ajudado
e nos avise o resultado, esperamos que você consiga!!

Abraços, Enrico.
_____________________

Em 07/11/2013 11:23, Enrico Nicoletto escreveu:

Olá Alexandre, bom dia.

Poderia nos informar qual versão do GNOME
e qual distribuição Linux você está usando?

Desta forma, poderemos tentar reproduzir seus passos
e lhe dar uma resposta mais precisa.

Abraços, Enrico.

________________________________________

Em 05/11/2013 22:37, Alexandre Loures escreveu:

Olá pessoal!

Instalei o gedit em meu computador hoje, porém quando tento habilitar o uso do plugin ferramentas externas este plugin não está na lista.

Editar>Preferências>Plug-ins

Aproveito para perguntar como faço a integração do gedit com o R (ou seja, como instalo o plugin Rgedit).

Desde já muito obrigado!

 

--
Alexandre Rodrigues Loures

_______________________________________________
gnome-pt_br-list mailing list
gnome-pt_br-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-pt_br-list