Editor : desactiva o activa los numeros del editor

Editor : desactiva o activa el minimapa del editor

Editor : cambia el tema del editor

Editor : cambia el tamano de la fuente