    updatePref: function(name, value)    {        // Prevent infinite recursion due to pref observer        if (name in optionUpdateMap)            return;                optionUpdateMap[name] = 1;        this[name] = value;                dispatch(modules, "updateOption", [name, value]);                FirebugChrome.updateOption(name, value);        if (TabWatcher.contexts)        {            for (var i = 0; i < TabWatcher.contexts.length; ++i)            {                var context = TabWatcher.contexts[i];                if (context.externalChrome)                    context.chrome.updateOption(name, value);            }        }        if (name == "disabledAlways")        {            if (value)                this.disableAlways();            else                this.enableAlways();        }        if (name.substr(0, 15) == "externalEditors")        {            this.loadExternalEditors();        }        delete optionUpdateMap[name];                                                                                                                       /*@explore*/        if (FBTrace.DBG_OPTIONS) FBTrace.sysout("firebug.updatePref EXIT: "+name+"="+value+"\n");                      /*@explore*/    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/0fdfc663d6e6e0d4a6043b4035a0f87f31c76c2d/firebug.js/buggy/extension/content/firebug/firebug.js