gwt 页面刷新

在entrypoint中加入以下代码：
思路：
  1、先判断token是否有值，如果有则用户是要刷新页面，如果没有则可以判断出用户是要加载一个新的页面；
  2、通过fireCurrentHistoryState方法重新出发historyValueChange，然后在重新加载页面内容。

代码如下：
History.addValueChangeHandler(new HistoryValueChangeHandler());

if (!"".equals(History.getToken())) {
History.fireCurrentHistoryState();//重新加载当前页面。
} else {
                     //做该做的事

               }

public class HistoryValueChangeHandler implements ValueChangeHandler<String>
public void onValueChange(ValueChangeEvent<String> event) {
           token = event.getValue();
           //判断token的值，然后加载要加载的页面的内容

     }