rem: { var preference = document.getElementById("mail.preferences.display.selectedTabIndex"); preference.valueFromPreferences = document.getElementById("displayPrefs").selectedIndex; } 
add: document.getElementById("mail.preferences.display.selectedTabIndex") .valueFromPreferences = document.getElementById("displayPrefs").selectedIndex; 
context:   tabSelectionChanged: function ()  {    if (this.mInitialized)    {      var preference = document.getElementById("mail.preferences.display.selectedTabIndex");      preference.valueFromPreferences = document.getElementById("displayPrefs").selectedIndex;    }  },
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a67fbac8e4cbe72eefd3d734cee667f4efb1052b/display.js/buggy/mail/components/preferences/display.js