public class EditorPagesDescriptor
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class | EditorPagesDescriptor.PageDescriptor
This class contains shared functionality for reading Editor Page contributions from plugins into workbench parts.
|
Modifier and Type | Field and Description |
---|---|
static java.lang.String | COPYRIGHT
IBM copyright notice field
|
Constructor and Description |
---|
EditorPagesDescriptor()
EditorPagesDescriptor constructor.
|
Modifier and Type | Method and Description |
---|---|
void | addPage(EditorPagesDescriptor.PageDescriptor page)
Adds an editor page.
|
java.lang.String | getEditorId()
Returns the page's unique editor ID.
|
EditorPagesDescriptor.PageDescriptor[] | getEditorPages()
Returns the editor pages
|
java.lang.String | getEditorPagesId()
Returns the page group's unique ID.
|
void | setEditorId(java.lang.String id)
Sets the page's unique editor ID.
|
void | setEditorPagesId(java.lang.String id)
Sets the page group's unique ID.
|
public static final java.lang.String COPYRIGHT
public EditorPagesDescriptor()
public void addPage(EditorPagesDescriptor.PageDescriptor page)
public EditorPagesDescriptor.PageDescriptor[] getEditorPages()
public java.lang.String getEditorPagesId()
public java.lang.String getEditorId()
public void setEditorPagesId(java.lang.String id)
public void setEditorId(java.lang.String id)