B2G/gecko/browser/components/downloads/content/downloads.js
/**
   * Main panel element in the browser window.
   */
Main panel element in the browser window.
Main panel element in the browser window .
get panel()
  {
    delete this.panel;
    return this.panel = document.getElementById("downloadsPanel");
  }
get panel ( ) { delete this . panel ; return this . panel = document . getElementById ( "downloadsPanel" ) ; }
Main panel element in the browser window.
Main panel element in the browser window .