rem:  config.scripts.splice(index, 1); 
context: function handleUninstallButton() {  var index=listbox.selectedIndex;  // mark script to be uninstalled on "OK"  uninstallList.push(selectedScript);  // remove it from the working config  config.scripts.splice(index, 1);  // remove it from the display  listbox.removeChild(listbox.childNodes[index]);  if (listbox.childNodes.length > 0) {    chooseScript(Math.max(Math.min(listbox.selectedIndex, listbox.childNodes.length - 1), 0));  }}
meta: 4236	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4236/93af19771bc738ac7f91dd9223d81de0033b8805/manage.js/buggy/src/chrome/chromeFiles/content/manage.js