Pluma / Gedit REMOVE idiomas

1

Eu gosto de remover a maioria dos idiomas dos menus pluma / gedit, onde eles aparecem.

É ótimo que os editores suportem tantos idiomas. Mas a maioria deles eu nunca uso. Então eles estão apenas no caminho e eu não tenho tempo suficiente, rolando o dia todo para minhas anotações.

Eles aparecem na seleção do tipo de idioma da barra de status, na caixa de diálogo do plug-in (para qual tipo de documento), na configuração do snippet e talvez em mais espaços. É possível editar algum arquivo de configuração, para se livrar da maioria deles?

Ou eu tenho que pegar as fontes e corrigir os problemas lá? Mais de 90% do tempo, eu uso apenas 3 ou 4 idiomas ou texto simples. Eu acho que outros usuários têm um padrão de uso similar, é claro, com idiomas diferentes.

    
por user unknown 19.01.2018 / 22:26

0 respostas