Hard Refresh in GWT

Question

Using Google Web Toolkit, I'd like to code the equivalent of a hard refresh (control + F5).

I don't believe (or know) if GWT's Window.Location will work.

import com.google.gwt.user.client.Window.Location;

Window.Location = currentPage; // I don't think it'll be hard refresh

Answer 1

For reloading the current page you need to call Window.Location.reload() method.

Reloads the current browser window. All GWT state will be lost.

Or you can even specify your own JSNI (below how todo), because by default force reload is false :

  public static native void forceReload() /*-{
      $wnd.location.reload(true);
    }-*/;

Answer 2

According to https://developer.mozilla.org/en-US/docs/DOM/window.location#Methods you would need to call window.location.reload(true) to force the reload of the current page.

Unfortunately GWT wraps only the window.location.reload() via Window.Location.reload(), and it is up to the browser to retrieve the page from the cache or from another get. This is done to achieve the most cross-browser solution.

Never tried but you should be able to use the following.

public static native void reload(boolean force) /*-{
  $wnd.location.reload(force);
}-*/;