Fix reloading of GWT resource viewers in IE

diff --git a/sonar-gwt-api/src/main/java/org/sonar/gwt/ui/Page.java b/sonar-gwt-api/src/main/java/org/sonar/gwt/ui/Page.java
index 297fd6ffbc744a8a9b03da41790c5c0615dbc4c5..7dd772c5c91aee2dd4ba5d02a020c2ecda2f8d44 100644 (file)
--- a/sonar-gwt-api/src/main/java/org/sonar/gwt/ui/Page.java
+++ b/sonar-gwt-api/src/main/java/org/sonar/gwt/ui/Page.java
@@ -23,6 +23,7 @@ import com.google.gwt.core.client.EntryPoint;
 import com.google.gwt.core.client.GWT;
 import com.google.gwt.core.client.JavaScriptObject;
 import com.google.gwt.json.client.JSONObject;
+import com.google.gwt.user.client.Window;
 import com.google.gwt.user.client.ui.RootPanel;
 import com.google.gwt.user.client.ui.Widget;
 import org.sonar.wsclient.gwt.GwtUtils;
@@ -34,9 +35,6 @@ public abstract class Page implements EntryPoint {
 
   private static final ResourceUnmarshaller RESOURCE_UNMARSHALLER = new ResourceUnmarshaller();
 
-  private Widget currentWidget = null;
-  private Integer currentResourceId = null;
-
   public final void onModuleLoad() {
     export(GWT.getModuleName(), this);
     load();
@@ -65,15 +63,10 @@ public abstract class Page implements EntryPoint {
 
       RootPanel container = getRootPanel();
       container.clear();
-      if (resource.getId().equals(currentResourceId) && currentWidget != null) {
-        container.add(currentWidget);
 
-      } else {
-        currentWidget = doOnResourceLoad(resource);
-        currentResourceId = resource.getId();
-        if (currentWidget != null) {
-          container.add(currentWidget);
-        }
+      Widget currentWidget = doOnResourceLoad(resource);
+      if (currentWidget != null) {
+        container.add(currentWidget);
       }
     }
   }