context: function saveWindowPosition(){    // 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( "messengerWindow" );    win.setAttribute( "x", x );    win.setAttribute( "y", y );    win.setAttribute( "height", h );    win.setAttribute( "width", w );    // save x, y, width, height}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/20d1e45d46274ab9c685842d6fc1b856d06fd0dd/msgMail3PaneWindow.js/buggy/mailnews/base/resources/content/msgMail3PaneWindow.js