Definindo as opções do editor embutido do GitHub permanentemente


8

Quero trabalhar em configurações específicas do editor embutido do GitHub, então eu as defino manualmente:

insira a descrição da imagem aqui

Mas cada vez que eu confirmo uma alteração no editor embutido e começo a editar outro arquivo (ou o mesmo) nele, ele sempre volta às configurações originais:

insira a descrição da imagem aqui

Então eu tenho que defini-lo repetidamente, a cada edição.

Existe alguma maneira de defini-lo permanentemente para manter minha estabilidade mental dentro do alcance e não ficar louco?

Respostas:


1

Para mim, esse recurso era tão óbvio, que não pode ser ainda mais óbvio. Eu preferia pensar que vou obter uma resposta rápida aqui, que ela já foi implementada e só estou faltando algumas configurações para habilitá-la. Quero dizer, como o GitHub sobreviveu por tanto tempo, sem esse recurso?

Como não houve resposta aqui, relatei isso ao GitHub. Acontece que eu estava errado - não é tão óbvio para os outros, como eu supunha. Acabei de receber a confirmação:

Obrigado pelo seu feedback! Estamos sempre trabalhando para melhorar o GitHub e consideramos todas as sugestões que recebemos. Adicionei sua ideia sobre como salvar as configurações do editor embutido em nossa Lista de solicitações de recursos ™ interna.

Não comentamos publicamente sobre se ou quando podemos implementar um recurso específico até que ele seja enviado, no entanto, seu feedback foi definitivamente registrado.

Isso é tudo sobre a declaração / resposta oficial do GitHub. Espero que outras pessoas encontrem esse recurso que vale a pena implementar (cinco votações durante apenas um dia parecem confirmar, que outros querem isso também). Portanto, esperemos que isso continue na lista de solicitações de recursos do GitHub e seja implementado em breve.

Editar (após catorze meses desde a resposta): não há muita mudança sobre esse assunto. As configurações não padrão, feitas pelo usuário para o editor embutido, ainda não são salvas. A única diferença é que eles mudaram um pouco as configurações padrão, então agora é:

insira a descrição da imagem aqui

Salvar as configurações do usuário no editor é algo óbvio e simples de implementar. Não implementá-lo nos últimos catorze meses deve sugerir que esse recurso não será implementado. Pena...

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.