A veces recibimos comentarios de que la corrección ortográfica en el editor no funciona de manera óptima, o que generalmente molesta y debería desactivarse. Sin embargo, esta no es parte de Repetico, ¡sino del navegador web que estés usando!
Esto significa: para desactivar la corrección ortográfica, debes hacerlo en la configuración del navegador respectivo, o posiblemente usar otro navegador.