public interface SplashScreenActivity extends Activity
| Modifier and Type | Method and Description |
|---|---|
void |
closeIfOpen() |
void |
forceShow() |
Integer |
getBodyHeight() |
SplashScreenFilter |
getFilter() |
default ResourceType |
getResourceType() |
String |
getTitle() |
com.google.gwt.user.client.ui.IsWidget |
getTitleDecoration() |
com.google.gwt.user.client.ui.IsWidget |
getWidget() |
Boolean |
intercept(PlaceRequest intercepted) |
boolean |
isEnabled() |
getName, getPlace, isDefault, isDynamic, onClose, onOpen, onShutdown, onStartupgetDependencies, getIdentifier, isTypevoid closeIfOpen()
void forceShow()
String getTitle()
com.google.gwt.user.client.ui.IsWidget getTitleDecoration()
com.google.gwt.user.client.ui.IsWidget getWidget()
Integer getBodyHeight()
SplashScreenFilter getFilter()
Boolean intercept(PlaceRequest intercepted)
boolean isEnabled()
default ResourceType getResourceType()
getResourceType in interface ResourceCopyright © 2012–2020 JBoss by Red Hat. All rights reserved.