diff options
author | simonbrandhof <simon.brandhof@gmail.com> | 2011-03-24 15:36:52 +0100 |
---|---|---|
committer | simonbrandhof <simon.brandhof@gmail.com> | 2011-03-24 15:36:52 +0100 |
commit | 9559e69e14d6123c3e03335e7d9b416cbac5e576 (patch) | |
tree | 343fbc98ff873603569b403e41ddebf9fddb4c26 /sonar-gwt-api | |
parent | b25c8001084885c77c9ae45a8a86fbc007063277 (diff) | |
download | sonarqube-9559e69e14d6123c3e03335e7d9b416cbac5e576.tar.gz sonarqube-9559e69e14d6123c3e03335e7d9b416cbac5e576.zip |
Fix reloading of GWT resource viewers in IE
Diffstat (limited to 'sonar-gwt-api')
-rw-r--r-- | sonar-gwt-api/src/main/java/org/sonar/gwt/ui/Page.java | 15 |
1 files 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); } } } |