public interface WorkbenchServices
Modifier and Type | Method and Description |
---|---|
boolean |
isWorkbenchOnCluster() |
Map<String,String> |
loadDefaultEditorsMap() |
PerspectiveDefinition |
loadPerspective(String perspectiveId) |
Set<PerspectiveDefinition> |
loadPerspectives() |
SplashScreenFilter |
loadSplashScreenFilter(String filterName) |
void |
removePerspectiveState(String perspectiveId) |
void |
removePerspectiveStates() |
void |
save(SplashScreenFilter splashFilter) |
void |
save(String perspectiveId,
PerspectiveDefinition perspective) |
void |
saveDefaultEditors(Map<String,String> properties) |
void save(String perspectiveId, PerspectiveDefinition perspective)
void save(SplashScreenFilter splashFilter)
Set<PerspectiveDefinition> loadPerspectives()
PerspectiveDefinition loadPerspective(String perspectiveId)
void removePerspectiveState(String perspectiveId)
void removePerspectiveStates()
SplashScreenFilter loadSplashScreenFilter(String filterName)
boolean isWorkbenchOnCluster()
Copyright © 2012–2020 JBoss by Red Hat. All rights reserved.