rem: WebInspector.consoleListItem.item.deselect(); 
add: WebInspector.consoleListItem.deselect(); 
context:     hide: function()    {        WebInspector.Panel.prototype.hide.call(this);        WebInspector.consoleListItem.item.deselect();    },
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/81abc84dcf5f8eaa2dfbd11f9563bb8fc5f4c630/ConsolePanel.js/buggy/WebCore/page/inspector/ConsolePanel.js