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: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/938616c2a3f430618f424a63980dc4b5e180a488/filepicker.js/buggy/xpfe/components/filepicker/res/content/filepicker.js