rem: var lists = ["selectLangs", "defaultFont"]; 
add: var lists = ["selectLangs", "proportionalFont"]; 
context: function GetFields()  {    var dataObject = [];    // store data for language independent widgets    var lists = ["selectLangs", "defaultFont"];    for( var i = 0; i < lists.length; i++ )      {        if( !dataObject.dataEls )          dataObject.dataEls = [];        dataObject.dataEls[ lists[i] ] = [];        dataObject.dataEls[ lists[i] ].value = document.getElementById( lists[i] ).value;      }    dataObject.defaultFont = document.getElementById( "defaultFont" ).value;    dataObject.fontDPI = document.getElementById( "browserScreenResolution" ).value;    dataObject.useDocFonts = document.getElementById( "browserUseDocumentFonts" ).checked ? 0 : 1;    // save current state for language dependent fields and store    saveState();    dataObject.languageData = languageData;    return dataObject;  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/bc01d2d1e2c3da5558d15a09fff8628c8f53e1ce/pref-fonts.js/buggy/suite/common/pref/pref-fonts.js