rem:   if (!ListElement || MixedListSelection || ListType != originalListType) 
add:   if (ListElement) dialog.RadioGroup.setAttribute("index", dialog.ChangeAllRadio.checked ? "0" : "1");  var changeList; if (ListElement && dialog.ChangeAllRadio.checked) {   editorShell.SelectElement(ListElement); changeList = true; } else changeList = MixedListSelection || ListType != originalListType;  if (changeList) 
context: function onOK(){  if (ValidateData())  {    // Coalesce into one undo transaction    editorShell.BeginBatchChanges();    // We may need to create new list element(s)    //   or change to a different list type.    if (!ListElement || MixedListSelection || ListType != originalListType)    {      editorShell.MakeOrChangeList(ListType);      // Get the new list created:      //ListElement = editorShell.GetSelectedElement("list");      ListElement = editorShell.GetElementOrParentByTagName(ListType, null);    }    // Set the list attributes    if (ListElement)      editorShell.CloneAttributes(ListElement, globalElement);    editorShell.EndBatchChanges();        SaveWindowLocation();    return true;  }  return false;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/5986ab59396a3071965154ed4499fa5a734750cd/EdListProps.js/clean/editor/ui/dialogs/content/EdListProps.js