add: defaultFont.value = parent.hPrefWindow.getPref("string", "font.default." + languageList.value);  
context: function selectLanguage()  {    // save current state    saveState();    if( !currentLanguage )      currentLanguage = languageList.value;    else if( currentLanguage == languageList.value )      return; // same as before, nothing changed    // lazily populate the successive font lists at 100ms intervals.    // (Note: the third parameter to setTimeout() is going to be    // passed as argument to the callback function.)    window.setTimeout(lazyAppendFontNames, 100, 0);    // in the meantime, disable the menu lists    for( var i = 0; i < fontTypes.length; i++ )      {        var listElement = document.getElementById( fontTypes[i] );        listElement.setAttribute( "value", "" );        listElement.setAttribute( "label", "" );        listElement.setAttribute( "disabled", "true" );      }    // and set the font sizes    try      {        var variableSizePref = "font.size.variable." + languageList.value;        var sizeVarVal = parent.hPrefWindow.pref.GetIntPref( variableSizePref );        variableSize.selectedItem = variableSize.getElementsByAttribute( "value", sizeVarVal )[0];        var fixedSizePref = "font.size.fixed." + languageList.value;        var sizeFixedVal = parent.hPrefWindow.pref.GetIntPref( fixedSizePref );        fixedSize.selectedItem = fixedSize.getElementsByAttribute( "value", sizeFixedVal )[0];      }    catch(e) { } // font size lists can simply default to the first entry    var minSizeVal = 0;    try       {        var minSizePref = "font.minimum-size." + languageList.value;        minSizeVal = pref.GetIntPref( minSizePref );      }    catch(e) { }    minSizeSelect( minSizeVal );    currentLanguage = languageList.value;  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/f1635b58a41291db4392c731020e1816480a50a6/pref-fonts.js/buggy/mail/components/prefwindow/content/pref-fonts.js