rem: for (var i = 0; i < spans.length; ++i) { 
add: for (var i in spans) { 
context: function replaceAllClicked() {	var replacement = document.getElementById("v_replacement").value;	var ok = true;	var spans = allWords[currentElement.__msh_origWord];	if (spans.length == 0) {		alert("An impossible condition just happened.  Call FBI.  ;-)");	} else if (spans.length == 1) {		replaceClicked();		return false;	}	/*	var message = "The word \"" + currentElement.__msh_origWord + "\" occurs " + spans.length + " times.\n";	if (replacement == currentElement.__msh_origWord) {		ok = confirm(message + "Ignore all occurrences?");	} else {		ok = confirm(message + "Replace all occurrences with \"" + replacement + "\"?");	}	*/	if (ok) {		for (var i = 0; i < spans.length; ++i) {			if (spans[i] != currentElement) {				replaceWord(spans[i]);			}		}		// replace current element the last, so that we jump to the next word ;-)		replaceClicked();	}	return false;};
meta: 6230	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6230/70e7091322d161ad5e2256481886617b9211a07f/spell-check-ui.js/buggy/phpgwapi/js/htmlarea/plugins/SpellChecker/spell-check-ui.js