rem:  var contentDim = document.getElementById("alertBox").boxObject; var windowDim = document.documentElement.boxObject; window.resizeTo(contentDim.width, contentDim.height);  
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();  // work around a bug where sizeToContent() leaves a border outside of the content  var contentDim = document.getElementById("alertBox").boxObject;  var windowDim = document.documentElement.boxObject;  window.resizeTo(contentDim.width, contentDim.height);  gFinalHeight = window.outerHeight;  // start with a 1px height, because 0 causes trouble with gtk1/2  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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/413ff1a464d88ee20528f72615294ecaf26f65e1/alert.js/buggy/toolkit/components/alerts/resources/content/alert.js