rem: dump("Adding "+service.Value+"\n"); 
add: debug("Adding "+service.Value); 
context: function addOption(registry, service, selectIt){  dump("Adding "+service.Value+"\n");  var option_title     = getAttr(registry, service, 'title');  var option_customize = getAttr(registry, service, 'customize');  var option_content   = getAttr(registry, service, 'content');  var tree = document.getElementById('selected-panels');   var treeroot = document.getElementById('selected-panels-root');   // Check to see if the panel already exists...  for (var ii = treeroot.firstChild; ii != null; ii = ii.nextSibling) {      if (ii.getAttribute('id') == service.Value) {      // we already had the panel installed      tree.selectItem(ii);      return;      }  }  var item = document.createElement('treeitem');  var row  = document.createElement('treerow');  var cell = document.createElement('treecell');    item.setAttribute('id', service.Value);  item.setAttribute('customize', option_customize);  item.setAttribute('content', option_content);  cell.setAttribute('value', option_title);   item.appendChild(row);  row.appendChild(cell);  treeroot.appendChild(item);  if (selectIt) {    dump("Selecting new item\n");    tree.selectItem(item)  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6807d7b659cc94984499b7f88a81dd280d765cf8/customize.js/buggy/xpfe/components/sidebar/resources/customize.js