third_party/gecko-16/win32/bin/chrome/toolkit/content/global/devtools/dbg-browser-actors.js
/**
   * Called by the root actor when the underlying tab is closed.
   */
Called by the root actor when the underlying tab is closed.
Called by the root actor when the underlying tab is closed .
function BTA_exit() {
    if (this.exited) {
      return;
    }
    if (this.attached) {
      this._detach();
      this.conn.send({ from: this.actorID,
                       type: "tabDetached" });
    }
    if (this._progressListener) {
      this._progressListener.destroy();
    }
    this._browser = null;
    this._tabbrowser = null;
  }
function BTA_exit ( ) { if ( this . exited ) { return ; } if ( this . attached ) { this . _detach ( ) ; this . conn . send ( { from : this . actorID , type : "tabDetached" } ) ; } if ( this . _progressListener ) { this . _progressListener . destroy ( ) ; } this . _browser = null ; this . _tabbrowser = null ; }
Called by the root actor when the underlying tab is closed.
Called by the root actor when the underlying tab is closed .