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>

point - a fully qualified identifier of the target extension point
id - an optional identifier of the extension instance
name - an optional name of the extension instance

<!ELEMENT page (enablement)>

<!ATTLIST page

id CDATA #REQUIRED

class CDATA #REQUIRED

name CDATA #REQUIRED

typeIds CDATA #REQUIRED

order CDATA #IMPLIED

insertionIds CDATA #IMPLIED>

id - specifies a unique identifier for this extension point
class - specifies the fully qualified name of the Java class that implements org.eclipse.ui.IEditorPart.
name -
typeIds -
order -
insertionIds -

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.

Copyright (c) 2000, 2005 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html

Editor Pages

Identifier:

Since:

Description:

Configuration Markup:

Examples:

API Information: