En el menú "Entorno" se encuentran tanto las opciones generales como las del editor.