Como adicionar o plugin rgedit ao pluma?

2

Como a maioria de vocês pode saber que no Ubuntu 16.04 o plugin LTS rgedit não funciona mais no gedit. Alguém aconselhou a rebaixar o gedit para a versão 3.10.4, mas não funcionou para mim, embora o menu R e os ícones adicionais apareçam na barra de menus. Algumas pessoas aconselharam usar pluma em vez disso. Agora, o problema é como adicionar o plugin rgedit à pluma? Eu tentei ". Local / share / pluma / plugins" e outras maneiras, mas nenhum sucesso em tudo. Tem pluma seu próprio plugin?

    
por Asad Ali 13.10.2016 / 09:46

0 respostas