defaultWidth = screen.availWidth * .8; defaultHeight = screen.availHeight * .8; 
defaultWidth = screen.availWidth <= 1024 ? screen.availWidth * .95 : screen.availWidth * .8; defaultHeight = screen.availHeight * .8; 
function OnLoadMessenger(){  // update the pane config before we exit onload otherwise the user may see a flicker if we poke the document  // in delayedOnLoadMessenger...  UpdateMailPaneConfig(false);  document.loadBindingDocument('chrome://global/content/bindings/textbox.xml');  // Set a sane starting width/height for all resolutions on new profiles. Do this before the window loads  if (!document.documentElement.hasAttribute("width"))   {    var defaultWidth, defaultHeight;    if (screen.availHeight <= 600)     {       document.documentElement.setAttribute("sizemode", "maximized");      defaultWidth = 800;      defaultHeight = 565;    }    else // for higher resolution displays, use larger values for height and width    {      defaultWidth = screen.availWidth * .8;      defaultHeight = screen.availHeight * .8;     }    document.documentElement.setAttribute("width", defaultWidth);    document.documentElement.setAttribute("height", defaultHeight);  }  setTimeout(delayedOnLoadMessenger, 0); // when debugging, set this to 5000, so you can see what happens after the window comes up.}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/689785d81f4a4ed1e5d9c225c9416e61928eb26f/msgMail3PaneWindow.js/buggy/mail/base/content/msgMail3PaneWindow.js