add: else if (file.isFile()) { /* what about symlinks? what if they symlink to a directory? */ return doOKButton(); } 
context: function onClick(e) {  var file = Components.classes[nsILocalFile_PROGID].createInstance(nsILocalFile);  file.initWithPath(e.target.parentNode.getAttribute("path"));  textInput = document.getElementById("textInput");  textInput.value = file.path;  if (e.clickCount == 2) {    if (file.isDirectory()) {      gotoDirectory(file.path);    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/8851a459c34185346a229728b3a21917bfc606b6/filepicker.js/buggy/xpfe/components/filepicker/res/content/filepicker.js