rem: /* The history list is not hooked up yet, so we'll just use a text element for the current directory */ /* 
add: var found = false; var i = 0; while (!found && i<dirHistory.length) { if (dirHistory[i] == directoryName) found = true; else i++; }  if (found) { if (i!=0) { dirHistory.splice(i, 1); dirHistory.splice(0, 0, directoryName); } } else { dirHistory.splice(0, 0, directoryName); }  var menu = document.getElementById("lookInMenu");  var children = menu.childNodes; for (var i=0; i < children.length; i++) menu.removeChild(children[i]);  for (var i=0; i < dirHistory.length; i++) { var menuItem = document.createElement("menuitem"); menuItem.setAttribute("value", dirHistory[i]); menu.appendChild(menuItem); }  
context: function addToHistory(directoryName) {  /* The history list is not hooked up yet, so we'll just use     a text element for the current directory *//*  var menuList = document.getElementById("lookInMenuList");  var menu = document.getElementById("lookInMenu");  var menuItem = document.createElement("menuitem");  menuItem.setAttribute("value", directoryName);  menu.appendChild(menuItem);  menuList.selectedItem = menuItem; */  var dirText = document.getElementById("curLocation");  dirText.setAttribute("value", directoryName);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b105a9dcb9e30adbe8961f8c5e2bb52ecceeeaee/filepicker.js/buggy/xpfe/components/filepicker/res/content/filepicker.js