rem:  gSourceContentWindow.setAttribute("oninput", null); 
add: gSourceContentWindow.removeEventListener("input", oninputHTMLSource, false); 
context: function oninputHTMLSource(){  gHTMLSourceChanged = true;  // Trigger update of "Save" button  goUpdateCommand("cmd_save");  // We don't need to call this again, so remove handler  // (Note: using "removeAttribute" didn't work!)  gSourceContentWindow.setAttribute("oninput", null);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/60f3a36032430ca61e176e93de463a89c5a85a16/editor.js/buggy/editor/ui/composer/content/editor.js