rem: var s = document.forms[0].htmlSource; 
add: var s = document.getElementById('htmlSource'); 
context: function setWrap(val) {	var s = document.forms[0].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: 10343	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10343/524e24acf79702622c51dba4bb678337072e34b9/source_editor.js/clean/mambots/editors/tinymce/jscripts/tiny_mce/themes/advanced/jscripts/source_editor.js