rem:          this.onDOMContentLoadedClosure_ = BindToObject(this.onDOMContentLoaded, this) this.tabbox_.addEventListener("DOMContentLoaded", this.onDOMContentLoadedClosure_, true);    this.onDOMNodeInsertedClosure_ = BindToObject(this.onDOMNodeInserted, this); this.tabbox_.addEventListener("DOMNodeInserted", this.onDOMNodeInsertedClosure_, true);  
context: function G_TabbedBrowserWatcher(tabBrowser, name, opt_filterAboutBlank) {  this.debugZone = "tabbedbrowserwatcher";  this.registrar_ = new EventRegistrar(G_TabbedBrowserWatcher.events);  this.tabBrowser_ = tabBrowser;  this.filterAboutBlank_ = !!opt_filterAboutBlank;  this.events = G_TabbedBrowserWatcher.events;      // Convenience pointer  // We need some way to tell if we've seen a browser before, so we  // set a property on it with a probabilistically unique string. The  // string is a combination of a static string and one passed in by  // the caller.  G_Assert(this, typeof name == "string" && !!name,           "Need a probabilistically unique name");  this.name_ = name;  this.mark_ = G_TabbedBrowserWatcher.mark_ + "-" + this.name_;  this.tabbox_ = this.getTabBrowser().mTabBox;  // We watch for events occuring in previously unseen browsers at  // this (the tabbedbrowser) level, and attach listeners to the new  // browsers when we see them. In order to do this properly, we need  // to watch for the earliest event we're interested in  // (DOMContentLoaded), because otherwise we'd miss this event in newly  // opening browsers. For example, if instead we hooked load here,  // DOMContentLoaded would already have passed by the time we noticed  // there was a new browser.  this.onDOMContentLoadedClosure_ = BindToObject(this.onDOMContentLoaded, this)  this.tabbox_.addEventListener("DOMContentLoaded",                                this.onDOMContentLoadedClosure_, true);  // We watch for DOM nodes inserted under the tabbox so we can detect when  // a user drags a tab to a new location.  this.onDOMNodeInsertedClosure_ = BindToObject(this.onDOMNodeInserted, this);  this.tabbox_.addEventListener("DOMNodeInserted",                                this.onDOMNodeInsertedClosure_, true);  // There's no tabswitch event in Firefox, so we fake it by watching  // for selects on the tabbox.  this.onTabSwitchClosure_ = BindToObject(this.onTabSwitch, this);  this.tabbox_.addEventListener("select",                                this.onTabSwitchClosure_, true);  // Used to determine when the user has switched tabs  this.lastTab_ = this.getCurrentBrowser();  // Ensure we hook a G_BrowserWatcher to all tabs that are open at startup  this.detectNewTabs_();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fbad794eb2728fccdd0489a1353e33a9049107d1/tabbedbrowserwatcher.js/clean/browser/components/safebrowsing/content/moz/tabbedbrowserwatcher.js