rem: gPrefs.setIntPref("print."+printerName+"print_edge_top", i); 
add: gPrefs.setIntPref("print.print_edge_top", i); 
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 != null) {    var selectedInx = dialog.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;    // save these out so they can be picked up by the device spec    gPrintSettings.printInColor = dialog.colorRadio.selected;    gPrintSettings.printCommand = dialog.cmdInput.value;    //     try {      var printerName = gPrintSettings.printerName;      var i = dialog.topInput.value * 100;      gPrefs.setIntPref("print."+printerName+"print_edge_top", i);      i = dialog.bottomInput.value * 100;      gPrefs.setIntPref("print."+printerName+"print_edge_left", i);      i = dialog.leftInput.value * 100;      gPrefs.setIntPref("print."+printerName+"print_edge_right", i);      i = dialog.rightInput.value * 100;      gPrefs.setIntPref("print."+printerName+"print_edge_bottom", i);    } catch (e) {    }    if (doDebug) {      dump("onAccept******************************\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("printInColor  "+gPrintSettings.printInColor+"\n");      dump("printCommand  "+gPrintSettings.printCommand+"\n");    }  } else {    dump("************ onAccept gPrintSettings: "+gPrintSettings+"\n");  }  if (paramBlock) {    // set return value to "ok"    paramBlock.SetInt(0, 1);  } else {    dump("*** FATAL ERROR: paramBlock missing\n");  }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/347738ddff141e684aa1160901497cb7fb15278e/printjoboptions.js/buggy/xpfe/global/resources/content/unix/printjoboptions.js