rem: } 
add: } 
context: this.restoreObjects = function(panel, panelState){    // Persist the location and selection so we can restore them in case of a reload    if (!panel.location && panelState && panelState.persistedLocation)    {        var location = panelState.persistedLocation(panel.context);        if (location)            panel.navigate(location);    }    if (!panel.location)        panel.navigate(null);        if (!panel.selection && panelState && panelState.persistedSelection)    {        var selection = panelState.persistedSelection(panel.context);        if (selection)            panel.select(selection);    }    if (!panel.selection)    {        // Couldn't restore the selection, so select the default object        panel.select(null);                if (panelState && panelState.persistedSelection)        {            // If we couldn't restore the selection, wait a bit and try again            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