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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6d8d83b44c46170aad8606a55a3960be810e9e2c/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js