rem: if (tinyMCE.isGecko) { 
add: if (tinyMCE.isGecko || tinyMCE.isOpera) { 
context: function setWrap(val) {	var s = document.getElementById('htmlSource');	s.wrap = val;	if (tinyMCE.isGecko) {		var v = s.value;		var n = s.cloneNode(false);		n.setAttribute("wrap", val);		s.parentNode.replaceChild(n, s);		n.value = v;	}}
meta: 2801	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2801/874feb5daba4a6085cc00cf6b97ca5e0b34d82d3/source_editor.js/clean/jscripts/tiny_mce/themes/advanced/jscripts/source_editor.js