Arreglado: ahora se puede volver a entrar a las configuraciones, y se agrega un CheckBox para la autoindentación