 var element = this; setTimeout(function() { element.updateSelection() }, 0); 
    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);    },
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/d2fb95f3fa9309126e311327c3c5183ffc51a8c8/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js