rem:  var x = window.screenX; var y = window.screenY; var h = window.outerHeight; var w = window.outerWidth; 
add:  var x = window.screenX; var y = window.screenY; var h = window.outerHeight; var w = window.outerWidth; 
context:   function BrowserClose()  {    // This code replicates stuff in Shutdown().  It is here because    // window.screenX and window.screenY have real values.  We need    // to fix this eventually but by replicating the code here, we    // provide a means of saving position (it just requires that the    // user close the window via File->Close (vs. close box).    // Get the current window position/size.    var x = window.screenX;    var y = window.screenY;    var h = window.outerHeight;    var w = window.outerWidth;    // Store these into the window attributes (for persistence).    var win = document.getElementById( "main-window" );    win.setAttribute( "x", x );    win.setAttribute( "y", y );    win.setAttribute( "height", h );    win.setAttribute( "width", w );  	 window.close();  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d46106418588bec5ed4354933e11d332b81439bb/navigator.js/buggy/suite/browser/navigator.js