rem: var print_paper_type   = gPrintSettingsInterface.kPaperSizeDefined; var print_paper_unit   = gPrintSettingsInterface.kPaperSizeInches; var print_paper_width  = 8.5; var print_paper_height = 11.0; 
context: function onAccept(){  var print_paper_type   = gPrintSettingsInterface.kPaperSizeDefined;  var print_paper_unit   = gPrintSettingsInterface.kPaperSizeInches;  var print_paper_width  = 8.5;  var print_paper_height = 11.0;  if (gPrintSettings) {    var selectedInx = gDialog.paperList.selectedIndex;    if (gPaperArray[selectedInx].inches) {      print_paper_unit = gPrintSettingsInterface.kPaperSizeInches;    } else {      print_paper_unit = gPrintSettingsInterface.kPaperSizeMillimeters;    }    print_paper_width  = gPaperArray[selectedInx].width;    print_paper_height = gPaperArray[selectedInx].height;    gPrintSettings.paperSize = gPaperArray[selectedInx].paperSize; // deprecated    gPrintSettings.paperSizeType = print_paper_type;    gPrintSettings.paperSizeUnit = print_paper_unit;    gPrintSettings.paperWidth    = print_paper_width;    gPrintSettings.paperHeight   = print_paper_height;    gPrintSettings.orientation = gDialog.orientation.selectedIndex;    // save these out so they can be picked up by the device spec    gPrintSettings.marginTop    = gDialog.topInput.value;    gPrintSettings.marginLeft   = gDialog.leftInput.value;    gPrintSettings.marginBottom = gDialog.bottomInput.value;    gPrintSettings.marginRight  = gDialog.rightInput.value;    gPrintSettings.headerStrLeft   = gDialog.hLeftInput.value;    gPrintSettings.headerStrCenter = gDialog.hCenterInput.value;    gPrintSettings.headerStrRight  = gDialog.hRightInput.value;    gPrintSettings.footerStrLeft   = gDialog.fLeftInput.value;    gPrintSettings.footerStrCenter = gDialog.fCenterInput.value;    gPrintSettings.footerStrRight  = gDialog.fRightInput.value;    gPrintSettings.printBGColors = gDialog.printBGColors.checked;    gPrintSettings.printBGImages = gDialog.printBGImages.checked;    var scaling = document.getElementById("scalingInput").value;    if (scaling < 50.0 || scaling > 100.0) {      scaling = 100.0;    }    scaling /= 100.0;    gPrintSettings.scaling = scaling;    if (gDoDebug) {      dump("******* Page Setup Accepting ******\n");      dump("paperSize     "+gPrintSettings.paperSize+" (deprecated)\n");      dump("paperSizeType "+print_paper_type+" (should be 1)\n");      dump("paperSizeUnit "+print_paper_unit+"\n");      dump("paperWidth    "+print_paper_width+"\n");      dump("paperHeight   "+print_paper_height+"\n");      dump("print_margin_top    "+gDialog.topInput.value+"\n");      dump("print_margin_left   "+gDialog.leftInput.value+"\n");      dump("print_margin_right  "+gDialog.bottomInput.value+"\n");      dump("print_margin_bottom "+gDialog.rightInput.value+"\n");    }  }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/2cac03a429a9120427a6e82b011fe80d6c5f2f1e/printPageSetup.js/clean/xpfe/communicator/resources/content/printPageSetup.js