context:     initIntro: function(url, filename) {        this.dialogElement( "location" ).value = filename;        // if mSourcePath is a local file, then let's use the pretty path name instead of an ugly        // url...        var pathString = this.mSourcePath;        try         {          var fileURL = url.QueryInterface(Components.interfaces.nsIFileURL);          if (fileURL)          {            var fileObject = fileURL.file;            if (fileObject)            {              var parentObject = fileObject.parent;              if (parentObject)              {                pathString = parentObject.path;              }            }          }        } catch(ex) {}        // Set the location text, which is separate from the intro text so it can be cropped        var location = this.dialogElement( "source" );        location.value = pathString;                // Show the type of file.         var type = this.dialogElement("type");        var mimeInfo = this.mLauncher.MIMEInfo;                // 1. Try to use the pretty description of the type, if one is available.        var typeString = mimeInfo.Description;                if (typeString == "") {          // 2. If there is none, use the extension to identify the file, e.g. "ZIP file"          var primaryExtension = "";          try {            primaryExtension = mimeInfo.primaryExtension;          }          catch (ex) {          }          if (primaryExtension != "")            typeString = primaryExtension.toUpperCase() + " file";          // 3. If we can't even do that, just give up and show the MIME type.           else            typeString = mimeInfo.MIMEType;        }                type.value = typeString;    },
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/48d15eaedf49ef957805b3cbd3c9d1604883e575/nsHelperAppDlg.js/clean/toolkit/mozapps/downloads/content/nsHelperAppDlg.js