rem:  var win = document.getElementById( "main-window" ); win.setAttribute( "x", x ); win.setAttribute( "y", y ); win.setAttribute( "height", h ); win.setAttribute( "width", w ); 
add:  var win = document.getElementById( "main-window" ); win.setAttribute( "x", x ); win.setAttribute( "y", y ); win.setAttribute( "height", h ); win.setAttribute( "width", w ); 
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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/504dbe197757dfd7174946e37fd3dbb61e55759e/navigator.js/buggy/suite/browser/navigator.js