add:   if (navigator.appVersion.indexOf("X11") != -1) { document.getElementById( "systemResolution" ).removeAttribute( "hidden" ); }   var resolution; resolution = document.getElementById( "screenResolution" ); var dpi = resolution.getAttribute( "dpi" ); resolution = document.getElementById( "otherResolution" ); resolution.setAttribute( "value", dpi.replace(/\$val/, "72" ) ); resolution = document.getElementById( "defaultResolution" ); resolution.setAttribute( "value", dpi.replace(/\$val/, "96" ) ); 
context: function Startup()  {    variableSize = document.getElementById( "sizeVar" );    fixedSize    = document.getElementById( "sizeMono" );    languageList = document.getElementById( "selectLangs" );    gPrefutilitiesBundle = document.getElementById("bundle_prefutilities");    // register our ok callback function    parent.hPrefWindow.registerOKCallbackFunc( saveFontPrefs );    // eventually we should detect the default language and select it by default    selectLanguage();  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/23f5d2671c433bf1367e8687f7c6caf62360c36a/pref-fonts.js/buggy/suite/common/pref/pref-fonts.js