rem: gDownloadsActiveTitle = document.getElementById("active-downloads-title"); gDownloadsOtherLabel  = document.getElementById("other-downloads"); gDownloadsOtherTitle  = document.getElementById("other-downloads-title"); 
add: gDownloadsActiveArea  = document.getElementById("active-downloads-area"); gDownloadsDoneArea    = document.getElementById("done-downloads-area"); 
context: function Startup() {  gDownloadsView        = document.getElementById("downloadView");  gDownloadsActiveTitle = document.getElementById("active-downloads-title");  gDownloadsOtherLabel  = document.getElementById("other-downloads");  gDownloadsOtherTitle  = document.getElementById("other-downloads-title");  gDownloadInfoPopup    = document.getElementById("information");  // convert strings to those in the string bundle  let (sb = document.getElementById("downloadStrings")) {    let getStr = function(string) sb.getString(string);    for (let [name, value] in Iterator(gStr))      gStr[name] = typeof value == "string" ? getStr(value) : value.map(getStr);  }  buildDefaultView();  // View event listeners  gDownloadsView.addEventListener("dblclick", onDownloadDblClick, false);  // The DownloadProgressListener (DownloadProgressListener.js) handles progress  // notifications.   gDownloadListener = new DownloadProgressListener();  gDownloadManager.addListener(gDownloadListener);  // downloads can finish before Startup() does, so check if the window should  // close and act accordingly  if (!autoRemoveAndClose())    gDownloadsView.focus();  let obs = Cc["@mozilla.org/observer-service;1"].            getService(Ci.nsIObserverService);  obs.addObserver(gDownloadObserver, "download-manager-remove-download", false);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/099dde5e430601a33aea449359f95f6abe8c804f/downloads.js/clean/toolkit/mozapps/downloads/content/downloads.js