i pulsanti devono avere nome di istanza sequenziale ad esempio "puls1", "puls2", "puls3" ecc...

la funzione ponendo che tu abbia 8 pulsanti è questa
codice:
disabilita = function(num){
	for (i=1; i<=8; i++){
		if (this["puls"+i] != this["puls"+num]){
			this["puls"+i].enabled = true;
		} else {
			this["puls"+i].enabled = false;
		}

	}
}
e la applichi ad ogni pulsante così

codice:
on (release) { 
_level0.scelta_menu = 1; 
play(); 
disabilita(1);
}
codice:
on (release) { 
_level0.scelta_menu = 2; 
play(); 
disabilita(2);
}
ecc...