rem: panel.mouseOutTimeout = setTimeout(timeoutFunction, 250); 
add: panel.mouseOutTimeout = setTimeout(timeoutFunction, 500); 
context:         var mouseOutCrumbFunction = function(event) {            delete panel.mouseOverCrumb;            if ("mouseOutTimeout" in panel) {                clearTimeout(panel.mouseOutTimeout);                delete panel.mouseOutTimeout;            }            var timeoutFunction = function() {                if (!panel.mouseOverCrumb)                    panel.updateBreadcrumbSizes();            };            panel.mouseOutTimeout = setTimeout(timeoutFunction, 250);        };
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/b165677295a6aae9c84a5870ca57a6b8bf1534d4/DocumentPanel.js/buggy/WebCore/page/inspector/DocumentPanel.js