add:   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); } 
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");  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();  var obs = Components.classes["@mozilla.org/observer-service;1"].            getService(Components.interfaces.nsIObserverService);  obs.addObserver(clearDownloadsObserver, "download-manager-clear-history", false);}
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/501718d8e30b7d693415403d4dd2edd4a6aa3935/downloads.js/buggy/toolkit/mozapps/downloads/content/downloads.js