rem: resizeAlert();  
context: function onAlertLoad(){  // read out our initial settings from prefs.  try   {    var prefService = Components.classes["@mozilla.org/preferences-service;1"].getService();    prefService = prefService.QueryInterface(Components.interfaces.nsIPrefService);    var prefBranch = prefService.getBranch(null);    gSlideIncrement = prefBranch.getIntPref("alerts.slideIncrement");    gSlideTime = prefBranch.getIntPref("alerts.slideIncrementTime");    gOpenTime = prefBranch.getIntPref("alerts.totalOpenTime");  } catch (ex) {}  resizeAlert();    // if we aren't waiting to fetch preview text, then go ahead and   // start showing the alert.  if (!gPendingPreviewFetchRequests)    setTimeout(animateAlert, gSlideTime);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/da7ca00f140ff15886690f5ea956aa4a2562e83b/newmailalert.js/buggy/mail/base/content/newmailalert.js