var permalinkProvider;


Ext.onReady(function () {
    // set a permalink provider
    permalinkProvider = new GeoExt.state.PermalinkProvider({encodeType: false});
    Ext.state.Manager.setProvider(permalinkProvider);
});

// update link when state chnages
//var onStatechange = function(provider) {
//    var link = provider.getLink();
//    alert (link);
//};
//permalinkProvider.on({statechange: onStatechange});