rem: panel.updateBreadcrumbSizes(); 
add: panel.updateBreadcrumb(); 
context:     domView.show = function() {        InspectorController.highlightDOMNode(panel.focusedDOMNode);        panel.updateBreadcrumbSizes();        panel.updateTreeSelection();    };
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/197340d69554c7b441c3d68bdfdbfd8937ddf75f/DocumentPanel.js/clean/WebCore/page/inspector/DocumentPanel.js