rem: if (is_selected(last_selected_panel)) { 
add: if (sidebar_panel_is_selected(last_selected_panel)) { 
context: function sidebar_refresh() {  var panels = document.getElementById('sidebar-panels');  var last_selected_panel = panels.getAttribute('last-selected-panel');  if (is_selected(last_selected_panel)) {    // A panel is already selected    update_panels();  } else {    // This is either the first refresh after creating the sidebar,    // or a panel has been added or removed.    var sidebar_container = document.getElementById('sidebar-box');    var default_panel = sidebar_container.getAttribute('defaultpanel');    if (default_panel != '') {      // Use value of "defaultpanel" which was set in the content.      select_panel(default_panel);    } else {      // Select the most recently selected panel.      select_panel(last_selected_panel);    }  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/b0d4b27dd4c88e26db8b55643459ff6843ff4b25/sidebarOverlay.js/clean/xpfe/components/sidebar/resources/sidebarOverlay.js