Mixed spaces and tabs in indentions

Abierto
#142 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
28/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Estancado
Stack tecnológico
javascript
Área
frontend, web-dev

Línea de trabajo

No se indica ningún archivo, prueba ni punto de entrada. Empieza reproduciendo el problema en el editor en línea con código pegado que contenga un tabulador seguido de espacios en una sangría; después compara la sangría resultante con la del código ejecutado en el micro:bit. Se considerará completado cuando esta entrada ya no produzca una sangría no válida, pero no se especifica el comportamiento de normalización previsto.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

enhancement

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.

Lenguaje dominante
JavaScript
Estrellas
201
Forks
126
Sin PR fusionados en 30 d

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de bbcmicrobit/PythonEditor

Todos los issues de bbcmicrobit/PythonEditor

Issues similares

Más issues de JavaScript

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.