window.addEventListener("resize", function() { panel.updateTreeSelection() }, false); 
domView.sidebarResizeElement.addEventListener("mousedown", function(event) { panel.rightSidebarResizerDragStart(event) }, false); 
    window.addEventListener("resize", function() { panel.updateTreeSelection() }, false);
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/7d2aaa248e316cf8ee6c9d6ae9c057e355c7c994/DocumentPanel.js/buggy/WebCore/page/inspector/DocumentPanel.js