rem: win.setAttribute("width", outerWidth); 
add: win.setAttribute("width", outerWidth); 
context: function Shutdown (){  // Store current window position and size in window attributes (for persistence).  var win = document.getElementById("bookmark-window");  win.setAttribute("x", screenX);  win.setAttribute("y", screenY);  win.setAttribute("height", outerHeight);  win.setAttribute("width", outerWidth);  }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/eaa6754a0a946375badf1165b3e4af3999e4b03c/bookmarks.js/buggy/xpfe/components/bookmarks/resources/bookmarks.js