public interface SplashScreenActivity extends Activity
Modifier and Type | Method and Description |
---|---|
void |
closeIfOpen() |
void |
forceShow() |
Integer |
getBodyHeight() |
org.uberfire.workbench.model.SplashScreenFilter |
getFilter() |
default org.uberfire.security.ResourceType |
getResourceType() |
String |
getTitle() |
com.google.gwt.user.client.ui.IsWidget |
getTitleDecoration() |
com.google.gwt.user.client.ui.IsWidget |
getWidget() |
Boolean |
intercept(org.uberfire.mvp.PlaceRequest intercepted) |
boolean |
isEnabled() |
void closeIfOpen()
void forceShow()
String getTitle()
com.google.gwt.user.client.ui.IsWidget getTitleDecoration()
com.google.gwt.user.client.ui.IsWidget getWidget()
Integer getBodyHeight()
org.uberfire.workbench.model.SplashScreenFilter getFilter()
Boolean intercept(org.uberfire.mvp.PlaceRequest intercepted)
boolean isEnabled()
default org.uberfire.security.ResourceType getResourceType()
getResourceType
in interface org.uberfire.security.Resource
Copyright © 2012–2018 JBoss by Red Hat. All rights reserved.