add: var selIndex = NamedAnchorList.selectedIndex; if (selIndex != HeadingsIndex && selIndex != NamedAnchorsIndex) hrefInput.value = "#" + NamedAnchorList.options[selIndex].value.trimString(); 
context: function SelectNamedAnchor(){  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/711c0f72c9655c2558d43bb716847f1a294b8372/EdLinkProps.js/buggy/editor/ui/dialogs/content/EdLinkProps.js