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, onStartup
getDependencies, getIdentifier, isType
void 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 Resource
Copyright © 2012–2020 JBoss by Red Hat. All rights reserved.