rem: window.close(); } 
add: window.close(); } 
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/f5a8a1af2368f6bc7df2ed21b3704dabca8c6809/navigator.js/buggy/suite/browser/navigator.js