From 9559e69e14d6123c3e03335e7d9b416cbac5e576 Mon Sep 17 00:00:00 2001 From: simonbrandhof Date: Thu, 24 Mar 2011 15:36:52 +0100 Subject: [PATCH] Fix reloading of GWT resource viewers in IE --- .../src/main/java/org/sonar/gwt/ui/Page.java | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) 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 297fd6ffbc7..7dd772c5c91 100644 --- 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); } } } -- 2.39.5