rem: var win = document.getElementById( "bookmark-window" ); win.setAttribute( "x", x ); win.setAttribute( "y", y ); win.setAttribute( "height", h ); win.setAttribute( "width", w ); 
add: var win = document.getElementById("bookmark-window"); win.setAttribute("x", x); win.setAttribute("y", y); win.setAttribute("height", h); win.setAttribute("width", w); 
context: function doUnload(){    // 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( "bookmark-window" );    win.setAttribute( "x", x );    win.setAttribute( "y", y );    win.setAttribute( "height", h );    win.setAttribute( "width", w );}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e9736d961a24945c2f31d67dc799c3c803d7729a/bookmarks.js/clean/xpfe/components/bookmarks/resources/bookmarks.js