rem:    /* node = list.options[index]; dump("BEFORE Option node text: "+node.text+" Value: "+node.value+"\n"); node.text = string; node.value = string; dump("AFTER Option node text: "+node.text+" Value: "+node.value+"\n"); */ 
context: function ReplaceStringInList(list, index, string){  if (index < list.options.length)  {  //Hmmm... We should be able to simply set the "text" and "value"  //  properties of the option element, but setting "text" doesn't work.  //  Replace with a new node instead:/*    node = list.options[index];    dump("BEFORE Option node text: "+node.text+" Value: "+node.value+"\n");    node.text = string;    node.value = string;    dump("AFTER Option node text: "+node.text+" Value: "+node.value+"\n");*/    // Save and remove selection else we have trouble below!    //  (This must be a bug!)    selIndex = list.selectedIndex;    list.selectedIndex = -1;    optionNode = new Option(string, string);    // Remove existing option node    //list.remove(index);    list.options[index] = null;    // Insert the new node    list.options[index] = optionNode;    // NOTE: If we insert, then remove, we crash!    // Reset the selected item    list.selectedIndex = selIndex;  }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/cade4ed318f0d806cbc8141f7818df3fd85eec66/EdDialogCommon.js/clean/editor/ui/dialogs/content/EdDialogCommon.js