rem: function BrowserCloseWindow() 
add: function BrowserCloseWindow() 
context: function BrowserCloseWindow() {  // This code replicates stuff in BrowserShutdown().  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 );  closeWindow(true);}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2fb9feaadc992e3ccd442db789244b253d0427f8/browser.js/buggy/browser/base/content/browser.js