bbcmicrobit / bbcmicrobit/PythonEditor

Mixed spaces and tabs in indentions

Aberta
#142 0 comentários 0 reações 0 responsáveis Ver no GitHub
enhancement
Linguagem predominante
JavaScript
Estrelas
201
Forks
126
Métricas de merge de PRs
Nenhum PR com merge em 30d

Descrição

Here's a situation the results in a mix of tabs and spaces in an indent - disastrous.

There's source code somewhere outside the editor (maybe web page, maybe a text editor) that includes a tab followed by spaces within an indent of a line. Copying and pasting that code into the online editor doesn't result in the space being converted; in fact, it seems an even stranger mix of spaces and tabs results in that line's indent. Although the code still _appears_ fine on screen (in online editor), it won't work properly on the micro:bit.

Guia de contribuição

Abrir o guia de contribuição

Direção de pesquisa

Nenhum arquivo, teste ou ponto de entrada é especificado. Comece reproduzindo o problema no editor online com código colado que contenha uma tabulação seguida de espaços em uma indentação e, em seguida, compare a indentação resultante com a do código executado no micro:bit. Deve ser considerado concluído quando essa entrada não produzir mais uma indentação inválida, mas o comportamento de normalização pretendido não está especificado.

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

Avaliação

Stack de tecnologia
javascript
Domínio
frontend, web-dev
Tipo de issue
Bug
Dificuldade
3/5
Tempo estimado
1-2 dias
Status de atividade
Estagnada
Clareza
Precisa de esclarecimento
Facilidade para iniciantes
28/100

Receba novas issues na sua caixa de entrada

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