context:     onselect: function()    {        this.treeOutline.panel.focusedDOMNode = this.representedObject;        // Call updateSelection twice to make sure the height is correct,        // the first time might have a bad height because we are in a weird tree state        this.updateSelection();        var element = this;        setTimeout(function() { element.updateSelection() }, 0);    },
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/197340d69554c7b441c3d68bdfdbfd8937ddf75f/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js