Olá Alexandre,
Conforme disse em mensagem anterior, 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 22:43, Alexandre Loures escreveu:
Boa noite, Enrico!
A versão do GNOME é 2.30.1 já o sistema operacional é o Windows
7. Porém, no Ubuntu 13.04 também estou com problemas, mas como
na realidade meu Ubuntu está apresentando outros problemas
pretendo, por enquanto, solucionar apenas para o Windows. Desde
já muito obrigado!
Abraços,
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
--
Alexandre Rodrigues Loures
|
