rem: HTMLArea.prototype.emptySelection = function(sel) { 
add: HTMLArea.prototype.emptySelection = function(selection) { 
context: HTMLArea.prototype.emptySelection = function(sel) {	if (HTMLArea.is_safari) {		sel.empty();	} else {		sel.removeAllRanges();	}};
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