rem: if (name.length == 0) { 
add: if (name.length == 0) { 
context: function ValidateData(){  var name = TrimString(nameInput.value);  if (name.length == 0) {      ShowInputErrorMessage(GetString("MissingAnchorNameError"));      SetTextfieldFocus(nameInput);      return false;  } else {    // Replace spaces with "_" and strip other characters    // Note: we could use ConvertAndEscape, but then we'd    //  have to UnConverAndEscape beforehand - too messy!    name = PrepareStringForURL(name);    if (AnchorNameExists(name)) {      ShowInputErrorMessage(GetString("DuplicateAnchorNameError").replace(/%name%/,name));                  SetTextfieldFocus(nameInput);      return false;    }    globalElement.setAttribute("name",name);  }  return true;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/030de906de67de8bf4262d3a3d3be61891b65c21/EdNamedAnchorProps.js/clean/editor/ui/dialogs/content/EdNamedAnchorProps.js