rem: menuList.selectedItem = menuItem; 
add: menuList.selectedItem = menuItem; */  var dirText = document.getElementById("curLocation"); dirText.setAttribute("value", directoryName); 
context: function addToHistory(directoryName) {  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;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8b0b05547c131474e904d9f2ff5c06e59d1986b5/filepicker.js/clean/xpfe/components/filepicker/res/content/filepicker.js