add:    if ( parent.hPrefWindow.getPrefIsLocked( "browser.display.languageList" ) ) { disableAllFontElements(); } 
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();        // Allow user to ask the OS for a DPI if we are under X    if (navigator.appVersion.indexOf("X11") != -1)      {         document.getElementById( "systemResolution" ).removeAttribute( "hidden" );       }        // Set up the labels for the standard issue resolutions    var resolution;    resolution = document.getElementById( "screenResolution" );    var dpi = resolution.getAttribute( "dpi" );    resolution = document.getElementById( "otherResolution" );    resolution.setAttribute( "value", "72" );    resolution.setAttribute( "label", dpi.replace(/\$val/, "72" ) );    resolution = document.getElementById( "defaultResolution" );    resolution.setAttribute( "value", "96" );    resolution.setAttribute( "label", dpi.replace(/\$val/, "96" ) );  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b3b736c442f0e14f6c14bfa3c9b3bbc369793fa9/pref-fonts.js/buggy/xpfe/components/prefwindow/resources/content/pref-fonts.js