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/1734eec58f279f01bdba37d39fa7fa5370de4ba6/bookmarksManager.js/clean/xpfe/components/bookmarks/resources/bookmarksManager.js