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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/58f6347733c6dc899713408fe16d6641419bf688/display.js/buggy/mail/components/preferences/display.js