106107108109110111112113114115116
changeState(newTokens); if (page.isLoaded()) { page.onShow(); executeState(); } else { page.addLoadHandler(new LoadHandler() { public void onLoad() { page.onShow(); executeState(); } });