rem:  this.chosenApp = this.mLauncher.MIMEInfo.preferredApplicationHandler; var applicationDescription = this.mLauncher.MIMEInfo.applicationDescription;  if (applicationDescription != "") { this.updateApplicationName(applicationDescription); this.givenDefaultApp = true; } else if (this.chosenApp && this.chosenApp.path) {  this.updateApplicationName(this.chosenApp.path); this.choseApp = true; } else this.updateApplicationName(this.getString("noApplicationSpecified"));  if ( (applicationDescription || this.choseApp) && this.mLauncher.MIMEInfo.preferredAction != this.nsIMIMEInfo.saveToDisk ) { var openUsing = this.dialogElement( "openUsing" ); openUsing.radioGroup.selectedItem = openUsing; } else {  var saveToDisk = this.dialogElement( "saveToDisk" ); saveToDisk.radioGroup.selectedItem = saveToDisk;  this.dialogElement( "chooseApp" ).setAttribute( "disabled", "true" ); 
add:  if ( this.mDialog.navigator.platform.indexOf( "Mac" ) != -1 ) { this.dialogElement( "appPath" ).disabled = true; 
context:     initAppAndSaveToDiskValues: function() {        // Pre-select the choice the user made last time.        this.chosenApp = this.mLauncher.MIMEInfo.preferredApplicationHandler;        var applicationDescription = this.mLauncher.MIMEInfo.applicationDescription;        if (applicationDescription != "")        {          this.updateApplicationName(applicationDescription);           this.givenDefaultApp = true;        }        else if (this.chosenApp && this.chosenApp.path)        {          // If a user-chosen application, show its path.          this.updateApplicationName(this.chosenApp.path);          this.choseApp = true;        }        else         this.updateApplicationName(this.getString("noApplicationSpecified"));        if ( (applicationDescription || this.choseApp) && this.mLauncher.MIMEInfo.preferredAction != this.nsIMIMEInfo.saveToDisk )         {          var openUsing = this.dialogElement( "openUsing" );          openUsing.radioGroup.selectedItem = openUsing;        }        else         {          // Save to disk.          var saveToDisk = this.dialogElement( "saveToDisk" );          saveToDisk.radioGroup.selectedItem = saveToDisk;          // Disable choose app button.          this.dialogElement( "chooseApp" ).setAttribute( "disabled", "true" );        }    },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/5f9095c9ce0b22166307d1eb8d981b8b51b0fcbb/nsHelperAppDlg.js/buggy/embedding/components/ui/helperAppDlg/nsHelperAppDlg.js