rem: textarea.form.onsubmit = function() { 
add: f.onsubmit = function() { 
context: 		textarea.form.onsubmit = function() {			editor._textArea.value = editor.getHTML();		};
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/25a8b4ec79bdd65c7e50216b7ea058ea682797c5/htmlarea.js/clean/phpgwapi/js/htmlarea/htmlarea.js