function BRA_watchWindow(aWindow) {
    aWindow.getBrowser().tabContainer.addEventListener("TabClose",
                                                       this.onTabClosed,
                                                       false);
  }
/**
   * Watch a window that was visited during onListTabs for
   * tab closures.
   */
Watch a window that was visited during onListTabs for
tab closures.
Watch a window that was visited during onListTabs for tab closures .
function BRA_watchWindow(aWindow) {
    aWindow.getBrowser().tabContainer.addEventListener("TabClose",
                                                       this.onTabClosed,
                                                       false);
  }
function BRA_watchWindow ( aWindow ) { aWindow . getBrowser ( ) . tabContainer . addEventListener ( "TabClose" , this . onTabClosed , false ) ; }
Watch a window that was visited during onListTabs for
 tab closures.
Watch a window that was visited during onListTabs for tab closures .