rem: var prefs = [{ format: kFontNameFmtSerif,         type: "unichar", element: "serif",      fonttype: "serif"       }, 
add: var prefs = [{ format: kDefaultFontType,          type: "string", element: "defaultFontType", fonttype: null}, { format: kFontNameFmtSerif,         type: "unichar", element: "serif",      fonttype: "serif"       }, 
context:   _selectLanguageGroup: function (aLanguageGroup)  {    var prefs = [{ format: kFontNameFmtSerif,         type: "unichar", element: "serif",      fonttype: "serif"       },                 { format: kFontNameFmtSansSerif,     type: "unichar", element: "sans-serif", fonttype: "sans-serif"  },                 { format: kFontNameFmtMonospace,     type: "unichar", element: "monospace",  fonttype: "monospace"   },                 { format: kFontNameListFmtSerif,     type: "unichar", element: null,         fonttype: "serif"       },                 { format: kFontNameListFmtSansSerif, type: "unichar", element: null,         fonttype: "sans-serif"  },                 { format: kFontNameListFmtMonospace, type: "unichar", element: null,         fonttype: "monospace"   },                 { format: kFontSizeFmtVariable,      type: "int",     element: "sizeVar",    fonttype: null          },                 { format: kFontSizeFmtFixed,         type: "int",     element: "sizeMono",   fonttype: null          },                 { format: kFontMinSizeFmt,           type: "int",     element: "minSize",    fonttype: null          }];    var preferences = document.getElementById("fontPreferences");    for (var i = 0; i < prefs.length; ++i) {      var preference = document.getElementById(prefs[i].format.replace(/%LANG%/, aLanguageGroup));      if (!preference) {        preference = document.createElement("preference");        var name = prefs[i].format.replace(/%LANG%/, aLanguageGroup);        preference.id = name;        preferences.appendChild(preference);        preference.name = name;        preference.type = prefs[i].type;      }            if (!prefs[i].element)        continue;              var element = document.getElementById(prefs[i].element);      if (element) {        element.setAttribute("preference", preference.id);              if (prefs[i].fonttype)          FontBuilder.buildFontList(aLanguageGroup, prefs[i].fonttype, element);        preference.setElementValue(element);      }    }  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b74c618989f1438cc61b5c70a829ab7539d274b0/fonts.js/buggy/browser/components/preferences/fonts.js