context: function Shutdown (){  BMSVC.transactionManager.RemoveListener(BookmarkEditMenuTxnListener);  // 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: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/025a088dcc8007fa5d7d45b93b6e22219ed1e453/bookmarksManager.js/clean/browser/components/bookmarks/content/bookmarksManager.js