ajustar las opciones de desarrollador en Android