rem: var target = tab.getAttribute('iframe-src'); var last_src = tab.parentNode.getAttribute('open-panel-src'); 
add: var target = tab.getAttribute('id'); var last_panel = tab.parentNode.getAttribute('last-selected-panel'); 
context: function SidebarSelectPanel(tab) {  var target = tab.getAttribute('iframe-src');  var last_src = tab.parentNode.getAttribute('open-panel-src');  if (target == last_src) {    // XXX Maybe this should reload the content?    return;  }  select_panel(target);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/fac5daefc78d7a659d5602b52d4717bd8738cb19/sidebarOverlay.js/clean/suite/common/sidebar/sidebarOverlay.js