O Editor de Configurações pode ser usado para alterar as opções de configuração usadas pelos aplicativos, opções essas que podem não estar disponíveis por meio das janelas de preferências
