rem: { document.getElementById("table_container").innerHTML = this; if (this.selector == "head") this.showHeaders(); } 
add: { document.getElementById("table_container").innerHTML = this; if (this.selector == "head") this.showHeaders(); } 
context: 	this.refresh = function()	{		document.getElementById("table_container").innerHTML = this;		if (this.selector == "head") this.showHeaders();	}
meta: 5635	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5635/527cf5457da0bbcd901319db3fb78a7f3c74d57b/table-editor.js/clean/fudge/wysiwyg/plugins/table_editing/table-editor.js