editor needs settings

Aberta
  • Algo errado?
#1,014 0 comentários 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
30/100
Tipo de issue
Funcionalidade
Clareza
Precisa de esclarecimento
Status de atividade
Estagnada
Stack de tecnologia
javascript
Domínio
desktop

Direção de pesquisa

Nenhum arquivo, teste ou ponto de entrada é indicado. Comece localizando as configurações do editor e a UI de preferências existente e, em seguida, determine como as opções do editor são armazenadas e testadas; considera-se concluído quando os usuários puderem configurar a largura das tabulações e se as tabulações são convertidas em espaços.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

Could you add a tab width setting to the editor? And maybe one to turn off tab-to-spaces? That would make it much more usable.

Linguagem predominante
JavaScript
Estrelas
846
Forks
91
Nenhum PR com merge em 30d

Preparar o ambiente

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de workbenchdev/Workbench

Todas as issues de workbenchdev/Workbench

Issues semelhantes

Mais issues de JavaScript

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.