rem: } 
add: } 
context:             panel.context.setTimeout(function()            {                if (panel.selection == panel.getDefaultSelection())                {                    var selection = panelState.persistedSelection(panel.context);                    if (selection)                        panel.select(selection);                }                            }, restoreRetryTimeout);
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/8237a6359bebacf3e34f1134ef713c687c8e3edb/lib.js/clean/extension/content/firebug/lib.js