editors indent type changed