    updateOption: function(name, value)    {        var viewOptionNames = {showCommentNodes:1, showWhitespaceNodes:1 , showFullTextNodes:1};        if (name in viewOptionNames)        {            this.resetSearch();            clearNode(this.panelNode);            if (this.ioBox)                this.ioBox.destroy();                            this.ioBox = new InsideOutBox(this, this.panelNode);            this.ioBox.select(this.selection, true, true);        }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/html.js/clean/extension/content/firebug/html.js