01: /*
02: * GWT-Ext Widget Library
03: * Copyright(c) 2007-2008, GWT-Ext.
04: * licensing@gwt-ext.com
05: *
06: * http://www.gwt-ext.com/license
07: */
08:
09: package com.gwtext.client.state;
10:
11: import com.google.gwt.core.client.JavaScriptObject;
12:
13: /**
14: * This is the global state manager. By default all components that are "state aware" check this class for state information
15: * if you don't pass them a custom state provider. In order for this class to be useful, it must be initialized with a
16: * provider when your application initializes.
17: */
18: public class Manager {
19:
20: /**
21: * Configures the default state provider for your application.
22: *
23: * @param provider the provider
24: */
25: public static void setProvider(Provider provider) {
26: setProvider(provider.getJsObj());
27: }
28:
29: private static native void setProvider(JavaScriptObject jsObj) /*-{
30: $wnd.Ext.state.Manager.setProvider(jsObj);
31: }-*/;
32: }
|