@Override public void run() { Document.get().getBody().getStyle().setProperty("zIndex", zIndex); }
@Override public void run() { Document.get().getBody().getStyle().setProperty("zIndex", zIndex); }
@PatchMethod static void setMargin(String size) { Document.get().getBody().getStyle().setProperty("margin", size); }
@PatchMethod static void setMargin(String size) { Document.get().getBody().getStyle().setProperty("margin", size); }
public static void forceFullRepaint(){ OsDetection d = MGWT.getOsDetection(); if(d.isAndroid()){ final String zIndex = Document.get().getBody().getStyle().getZIndex(); Document.get().getBody().getStyle().setZIndex(-1); new Timer(){ @Override public void run() { Document.get().getBody().getStyle().setProperty("zIndex", zIndex); } }.schedule(50); } } }
public static void forceFullRepaint(){ OsDetection d = MGWT.getOsDetection(); if(d.isAndroid()){ final String zIndex = Document.get().getBody().getStyle().getZIndex(); Document.get().getBody().getStyle().setZIndex(-1); new Timer(){ @Override public void run() { Document.get().getBody().getStyle().setProperty("zIndex", zIndex); } }.schedule(50); } } }
@Override public void setTheme(String themeId) { themeId = themeId != null ? themeId : getCurrentThemeId(); Theme themeToSet = themeId != null ? getTheme(themeId) : getDefault(); setCurrentThemeId(themeToSet.getId()); Document.get().getBody().getStyle().setBackgroundColor(Style.theme.backgroundColor()); }
String bodyOverflow = com.google.gwt.dom.client.Document.get().isCSS1Compat() ? com.google.gwt.dom.client.Document.get().getDocumentElement().getStyle().getProperty("overflow") : com.google.gwt.dom.client.Document.get().getBody().getStyle().getProperty("overflow"); if (!"hidden".equals(bodyOverflow)) { restoreWindowScrolling = true;