add: 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");  
context: function onAccept(){  if (gPrintSettings != null) {    // save these out so they can be picked up by the device spec    gPrintSettings.printInColor = dialog.colorRadio.selected;    gPrintSettings.printCommand = dialog.cmdInput.value;    if (doDebug) {      dump("onAccept******************************\n");      dump("printInColor  "+gPrintSettings.printInColor+"\n");      dump("printCommand  "+gPrintSettings.printCommand+"\n");    }  } else {    dump("************ onAccept gPrintSettings: "+gPrintSettings+"\n");  }  if (param) {    // set return value to "ok"    param.SetInt(0, 1);  } else {    dump("*** FATAL ERROR: printService missing\n");  }  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/2cac03a429a9120427a6e82b011fe80d6c5f2f1e/printjoboptions.js/clean/xpfe/global/resources/content/unix/printjoboptions.js