{ 
{ 
	disableCurrent: function(disable)	{        if (!tabBrowser)            return; // externalBrowser        if (disable)        {            TabWatcher.unwatchBrowser(tabBrowser.selectedBrowser);            for (var i = 0; i < tabBrowser.browsers.length; ++i)            {                var browser = tabBrowser.browsers[i];                TabWatcher.watchContext(browser.contentWindow, null);            }        }        else		{			TabWatcher.activate();			TabWatcher.watchBrowser(tabBrowser.selectedBrowser);		}    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/2e2e6e5e5acba26e69243682fad1c16a0bea8a6a/firebug.js/buggy/extension/content/firebug/firebug.js