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/434918b400ee690fa5c88806ee47f5494d783b31/table-editor.js/clean/fudge/wysiwyg/plugins/table_editing/table-editor.js