Package | Description |
---|---|
org.jboss.dashboard.ui.resources | |
org.jboss.dashboard.workspace |
Modifier and Type | Method and Description |
---|---|
Envelope |
EnvelopePreview.toEnvelope()
Convert this preview into an envelope.
|
Modifier and Type | Method and Description |
---|---|
Envelope |
WorkspaceImpl.getEnvelope() |
Envelope |
Section.getEnvelope() |
Envelope |
Workspace.getEnvelope() |
Copyright © 2012-2014 JBoss by Red Hat. All Rights Reserved.