Editor Pages

org.eclipse.wst.server.ui.editorPages

1.0

This extension point provides a way to add an additional page to a server or server configuration editor.

<!ELEMENT extension (page+)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT page (enablement?)>

<!ATTLIST page

id           CDATA #REQUIRED

class        CDATA #REQUIRED

name         CDATA #REQUIRED

typeIds      CDATA #REQUIRED

order        CDATA #IMPLIED

insertionIds CDATA #IMPLIED>


The following is an example of an editor page extension point:
   

<extension point=

"org.eclipse.wst.server.ui.editorPages"

>

<page id=

"com.example"

order=

"20"

name=

"%editorPage"

typeIds=

"com.example.*"

class=

"com.example.ExampleEditorFactory"

/>

</extension>

Value of the attribute class must be a fully qualified name of a Java class that implements the interface org.eclipse.wst.server.ui.editor.ServerEditorPartFactoryDelegate.