rem: for (var i=0; i < dialog.HeadingsList.length; i++) { 
add: var len = dialog.HeadingsList.getAttribute("length"); for (var i=0; i < len; i++) { 
context: function GetExistingHeadingIndex(text){  for (var i=0; i < dialog.HeadingsList.length; i++) {    if (dialog.HeadingsList.options[i].value == text)      return i;  }  return -1;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/371c750504c530471dd186b90dde9da478c22440/EdLinkProps.js/buggy/editor/ui/dialogs/content/EdLinkProps.js