gwt: Fix bug in VmcheckerPopup where scrollbars where removed after r…

…edrawing, and remained visible (at least in Chrome).
rosedu · Mar 30, 2015 · 47a5a59 · 47a5a59
1 parent 4914e2e
commit 47a5a59
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/VmcheckerPopup.java b/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/VmcheckerPopup.java
@@ -78,9 +78,11 @@ public void onBlur(BlurEvent event) {
 	public void showContent(String htmlContent) {
 		detailsPopupContent.clear();
 		detailsPopupContent.add(new HTML(htmlContent));
+		// Assume only one <html> tag per document. Reasonable assumption.
+		//Document.get().getElementsByTagName("html").getItem(0).getStyle().setOverflow(Style.Overflow.HIDDEN);
+		Document.get().getBody().getStyle().setOverflow(Style.Overflow.HIDDEN);
 		center();
 		show();
-		Document.get().getBody().getStyle().setOverflow(Style.Overflow.HIDDEN);
 		detailsPopupContent.setFocus(true);
 	}
 
@@ -103,6 +105,8 @@ protected void onPreviewNativeEvent(NativePreviewEvent event) {
 	@Override
 	protected void onUnload() {
 		super.onUnload();
+		// Assume only one <html> tag per document. Reasonable assumption.
+		//Document.get().getElementsByTagName("html").getItem(0).getStyle().clearOverflow();
 		Document.get().getBody().getStyle().clearOverflow();
 	}