context:     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;    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/buggy/extension/content/firebug/html.js