add: dump("ResetSelectedItem to index="+index+"\n");  
context: function ResetSelectedItem(index){  lastIndex = DictionaryList.length - 1;  if (index > lastIndex)    index = lastIndex;  // If we didn't have a selected item,   //  set it to the first item  if (index == -1 && lastIndex >= 0)    index = 0;  DictionaryList.selectedIndex = index;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/c0a534c8efb9e6703626cacd6d61cb6ad8eb6680/EdDictionary.js/buggy/editor/ui/dialogs/content/EdDictionary.js