lib/Ext/app/Application.js
function(url) {
        if (Ext.data && Ext.data.Model && url instanceof Ext.data.Model) {
            var record = url;

            url = record.toUrl();
        }

        var decoded = this.getRouter().recognize(url);

        if (decoded) {
            decoded.url = url;
            if (record) {
                decoded.data = {};
                decoded.data.record = record;
            }
            return this.dispatch(decoded);
        }
    }
function(url) {
        if (Ext.data && Ext.data.Model && url instanceof Ext.data.Model) {
            var record = url;

            url = record.toUrl();
        }

        var decoded = this.getRouter().recognize(url);

        if (decoded) {
            decoded.url = url;
            if (record) {
                decoded.data = {};
                decoded.data.record = record;
            }
            return this.dispatch(decoded);
        }
    }
Redirects the browser to the given url. This only affects the url after the '#'. You can pass in either a String
or a Model instance - if a Model instance is defined its {@link Ext.data.Model#toUrl toUrl} function is called,
which returns a string representing the url for that model. Internally, this uses your application's
{@link Ext.app.Router Router} to decode the url into a matching controller action and then calls
{@link #dispatch}.
@param {String/Ext.data.Model} url The String url to redirect to.