rem: HTMLArea.prototype._selectElement = function (element) { 
add: HTMLArea.prototype._selectElement = function (element, text_range) { 
context: HTMLArea.prototype._selectElement = function (element) {	if (document.selection) {		var selection = this._getSelection();		var range = this._createRange(selection);		range.moveToElementText(element);		range.select();	} else if (window.getSelection) {		var range = this._createRange();		range.selectNode(element);		var selection = this._getSelection();		selection.removeAllRanges();		selection.addRange(range);	}};
meta: 5635	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5635/60ad57940e9cbf36c4049cb31e4d49c28755aeeb/utility.js/clean/fudge/wysiwyg/core/utility.js