    navigate: function(object)    {        if (!object)            object = this.getDefaultLocation();                if (object != this.location)        {            this.location = object;            this.updateLocation(object);                        // XXXjoe This is kind of cheating, but, feh.            this.context.chrome.onPanelNavigate(object, this);        }    },
2454	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2454/0fdfc663d6e6e0d4a6043b4035a0f87f31c76c2d/firebug.js/buggy/extension/content/firebug/firebug.js