WebInspector.consoleListItem.item.deselect(); 
WebInspector.consoleListItem.deselect(); 
    hide: function()    {        WebInspector.Panel.prototype.hide.call(this);        WebInspector.consoleListItem.item.deselect();    },
1725	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1725/11650fd39ffebe23630ae00304720f3195cfabd4/ConsolePanel.js/buggy/WebCore/page/inspector/ConsolePanel.js