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) {}  sizeToContent();  gFinalHeight = window.outerHeight;  window.outerHeight = 1;  // be sure to offset the alert by 10 pixels from the far right edge of the screen  window.moveTo( (screen.availLeft + screen.availWidth - window.outerWidth) - 10, screen.availTop + screen.availHeight - window.outerHeight);  setTimeout(animateAlert, gSlideTime);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/6670dd2a7d264ae18f560d47ed8a864d2fcd9f20/alert.js/clean/toolkit/components/alerts/resources/content/alert.js