rem: var resolution; resolution = document.getElementById( "screenResolution" ); 
add: var resolution = document.getElementById( "screenResolution" ); 
context: function Startup()  {    // Initialize the sub-dialog      variableSize = document.getElementById( "sizeVar" );    fixedSize    = document.getElementById( "sizeMono" );    minSize      = document.getElementById( "minSize" );    languageList = document.getElementById( "selectLangs" );    gPrefutilitiesBundle = document.getElementById("bundle_prefutilities");    // eventually we should detect the default language and select it by default    selectLanguage();        // Allow user to ask the OS for a DPI if we are under X or OS/2    if ((navigator.appVersion.indexOf("X11") != -1) || (navigator.appVersion.indexOf("OS/2") != -1))      {         document.getElementById( "systemResolution" ).removeAttribute( "hidden" );       }        // Set up the labels for the standard issue resolutions    var resolution;    resolution = document.getElementById( "screenResolution" );    // Set an attribute on the selected resolution item so we can fall back on    // it if an invalid selection is made (select "Other...", hit Cancel)    resolution.selectedItem.setAttribute("current", "true");    var defaultResolution;    var otherResolution;    // On OS/2, 120 is the default system resolution.    // 96 is valid, but used only for for 640x480.    if (navigator.appVersion.indexOf("OS/2") != -1)      {        defaultResolution = "120";        otherResolution = "96";        document.getElementById( "arbitraryResolution" ).setAttribute( "hidden", "true" );         document.getElementById( "resolutionSeparator" ).setAttribute( "hidden", "true" );       } else {        defaultResolution = "96";        otherResolution = "72";      }    var dpi = resolution.getAttribute( "dpi" );    resolution = document.getElementById( "defaultResolution" );    resolution.setAttribute( "value", defaultResolution );    resolution.setAttribute( "label", dpi.replace(/\$val/, defaultResolution ) );    resolution = document.getElementById( "otherResolution" );    resolution.setAttribute( "value", otherResolution );    resolution.setAttribute( "label", dpi.replace(/\$val/, otherResolution ) );    // Get the pref and set up the dialog appropriately. Startup is called    // after SetFields so we can't rely on that call to do the business.    var prefvalue = gPrefWindow.getPref( "int", "browser.display.screen_resolution" );    if( prefvalue != "!/!ERROR_UNDEFINED_PREF!/!" )        resolution = prefvalue;    else        resolution = 96; // If it all goes horribly wrong, fall back on 96.        setResolution( resolution );    // This prefstring is a contrived pref whose sole purpose is to lock some    // elements in this panel.  The value of the pref is not used and does not matter.    if ( gPrefWindow.getPrefIsLocked( "browser.display.languageList" ) ) {      disableAllFontElements();    }  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bb60ef80009aa9aa5364d109a62d1d181aef73f9/pref-fonts.js/buggy/browser/components/prefwindow/content/pref-fonts.js