rem: editorShell.InsertElement(element, false); 
add: editorShell.InsertElement(anchorElement, false); 
context: function onOK(){  name = dialog.nameInput.value;  name = TrimString(name);  if (name.length == 0) {    dump("EMPTY ANCHOR STRING\n");    //TODO: POPUP ERROR DIALOG HERE  } else {    // Replace spaces with "_" else it causes trouble in URL parsing    name = ReplaceWhitespace(name, "_");    anchorElement.setAttribute("name",name);    if (insertNew) {      // Don't delete selected text when inserting      editorShell.InsertElement(element, false);    }    window.close();  }}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/2f22406b279e0054207e0419f468e0823095d01d/EdNamedAnchorProps.js/clean/editor/ui/dialogs/content/EdNamedAnchorProps.js