    hide: function()    {        var chrome = this.panel.context.chrome;        if (!chrome)            chrome = FirebugChrome;        var command = chrome.$("cmd_toggleHTMLEditing");        command.setAttribute("checked", false);        this.panel.panelNode.removeChild(this.box);                delete this.editingElements;        delete this.target;        delete this.panel;    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/clean/extension/content/firebug/html.js