rem: sel.setBaseAndExtent(range.startContainer, range.startOffset, range.endContainer, range.endOffset); 
add: selection.setBaseAndExtent(range.startContainer, range.startOffset, range.endContainer, range.endOffset); 
context: HTMLArea.prototype.addRangeToSelection = function(sel, range) {	if (HTMLArea.is_safari) {		sel.setBaseAndExtent(range.startContainer, range.startOffset, range.endContainer, range.endOffset);	} else {		sel.addRange(range);	}};
meta: 9100	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9100/4bcff78764dcdcc39dcb903f0af84e382c4f87a7/htmlarea-gecko.js/buggy/typo3/sysext/rtehtmlarea/htmlarea/htmlarea-gecko.js