rem: /* FixMe: We should save the old printer's values here... */  if (gPrintSettings.printerName != dialog.printerList.value) { gPrintSettings.printerName  = dialog.printerList.value;   printService.initPrintSettingsFromPrinter(gPrintSettings.printerName, gPrintSettings);  var flags = gPrintSetInterface.kInitSavePaperSizeType | gPrintSetInterface.kInitSavePaperSizeUnit | gPrintSetInterface.kInitSavePaperWidth | gPrintSetInterface.kInitSavePaperHeight | gPrintSetInterface.kInitSavePaperName | gPrintSetInterface.kInitSavePrintCommand;   printService.initPrintSettingsFromPrefs(gPrintSettings, true, flags); 
add: gPrintSettings.printerName = dialog.printerList.value;   printService.initPrintSettingsFromPrinter(gPrintSettings.printerName, gPrintSettings);   printService.initPrintSettingsFromPrefs(gPrintSettings, true, gPrintSetInterface.kInitSaveAll);  if (doDebug) { dump("setPrinterDefaultsForSelectedPrinter: printerName='"+gPrintSettings.printerName+"', paperName='"+gPrintSettings.paperName+"'\n"); 
context: function setPrinterDefaultsForSelectedPrinter(){  /* FixMe: We should save the old printer's values here... */  if (gPrintSettings.printerName != dialog.printerList.value) {    gPrintSettings.printerName  = dialog.printerList.value;    // First get any defaults from the printer     printService.initPrintSettingsFromPrinter(gPrintSettings.printerName, gPrintSettings);    var flags = gPrintSetInterface.kInitSavePaperSizeType | gPrintSetInterface.kInitSavePaperSizeUnit |                gPrintSetInterface.kInitSavePaperWidth | gPrintSetInterface.kInitSavePaperHeight |                gPrintSetInterface.kInitSavePaperName |                gPrintSetInterface.kInitSavePrintCommand;    // now augment them with any values from last time    printService.initPrintSettingsFromPrefs(gPrintSettings, true, flags);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d9d46e2880075a2c8a0313e3889398f9027cadb9/printdialog.js/clean/xpfe/global/resources/content/printdialog.js